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

Accepting request 986070 from home:bmwiedemann:branches:science

Browse Source 
Add Git-Clone URL

OBS-URL: https://build.opensuse.org/request/show/986070
OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=7
This commit is contained in:
Lars Vogdt 2022-07-01 19:41:32 +00:00 committed by Git OBS Bridge
parent c871722689
commit 63f4b9f993
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> 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 Group: Productivity/Scientific/Math
License: LGPL-3.0-or-later License: LGPL-3.0-or-later
URL: https://flocq.gitlabpages.inria.fr/ 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 Source0: https://flocq.gitlabpages.inria.fr/releases/%{name}-%{version}.tar.gz
Source100: %{name}-rpmlintrc Source100: %{name}-rpmlintrc
BuildRequires: coq-devel >= 8.12 BuildRequires: coq-devel >= 8.12