pool/flocq
SHA256
2
0
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Accepting request 986285 from science

Browse Source 
OBS-URL: https://build.opensuse.org/request/show/986285
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/flocq?expand=0&rev=3
This commit is contained in:
Dominique Leuenberger 2022-07-02 13:34:34 +00:00 committed by Git OBS Bridge
commit 1760efd0d3
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
flocq.changes
View File

@ -1,3 +1,8 @@
-------------------------------------------------------------------
Thu Jun 30 12:56:30 UTC 2022 - Bernhard Wiedemann <bwiedemann@suse.com>
- Add Git-Clone URL
-------------------------------------------------------------------
Thu Jun 2 21:40:52 UTC 2022 - Aaron Puchert <aaronpuchert@alice-dsl.net>

1
flocq.spec
View File

@ -25,6 +25,7 @@ Summary: Formalization of floating point numbers for Coq
Group: Productivity/Scientific/Math
License: LGPL-3.0-or-later
URL: https://flocq.gitlabpages.inria.fr/
#Git-Clone: https://gitlab.inria.fr/flocq/flocq.git
Source0: https://flocq.gitlabpages.inria.fr/releases/%{name}-%{version}.tar.gz
Source100: %{name}-rpmlintrc
BuildRequires: coq-devel >= 8.12