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

Accepting request 1111804 from science

Browse Source 
- Update to version 4.1.2.
  * Ensured compatibility from Coq 8.12 to 8.18.
- Update to version 4.1.3.
  * Avoided breaking users of `IEEE754.PrimFloat`.

OBS-URL: https://build.opensuse.org/request/show/1111804
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/flocq?expand=0&rev=6
This commit is contained in:
Dominique Leuenberger 2023-09-20 11:25:46 +00:00 committed by Git OBS Bridge
commit 5b58d0516d
4 changed files with 16 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
flocq-4.1.1.tar.gz
View File

@ -1,3 +0,0 @@
version https://git-lfs.github.com/spec/v1
oid sha256:1c74695a6638c60495d25efb1ed252cbdb39bd099b553f540d2931075d52ac9a
size 450132

3
flocq-4.1.3.tar.gz Normal file
View File

@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:4c9def2f8bdfb1dab96849ac92777f1a906ab65f1aa1b0d73bf5e027baefee89
size 450930

8
flocq.changes
View File

@ -1,3 +1,11 @@
-------------------------------------------------------------------
Sun Sep 17 18:49:04 UTC 2023 - Aaron Puchert <aaronpuchert@alice-dsl.net>
- Update to version 4.1.2.
* Ensured compatibility from Coq 8.12 to 8.18.
- Update to version 4.1.3.
* Avoided breaking users of `IEEE754.PrimFloat`.
------------------------------------------------------------------- -------------------------------------------------------------------
Wed Mar 29 18:55:13 UTC 2023 - Aaron Puchert <aaronpuchert@alice-dsl.net> Wed Mar 29 18:55:13 UTC 2023 - Aaron Puchert <aaronpuchert@alice-dsl.net>

6
flocq.spec
View File

@ -19,7 +19,7 @@
Name: flocq Name: flocq
Version: 4.1.1 Version: 4.1.3
Release: 0 Release: 0
Summary: Formalization of floating point numbers for Coq Summary: Formalization of floating point numbers for Coq
Group: Productivity/Scientific/Math Group: Productivity/Scientific/Math
@ -66,11 +66,15 @@ This package contains the HTML documentation for flocq.
# Make the documentation point to coq-doc if possible. # Make the documentation point to coq-doc if possible.
grep "\-\-coqlib_url http://coq.inria.fr/distrib/current/stdlib" Remakefile.in && grep "\-\-coqlib_url http://coq.inria.fr/distrib/current/stdlib" Remakefile.in &&
%if %{pkg_vcmp coq >= 8.18}
sed -i "s|--coqlib_url http://coq.inria.fr/distrib/current/stdlib|--coqlib %{_libdir}/coq --coqlib_url %{_defaultdocdir}/coq/stdlib|" Remakefile.in
%else
%if %{pkg_vcmp coq >= 8.14} %if %{pkg_vcmp coq >= 8.14}
sed -i "s|--coqlib_url http://coq.inria.fr/distrib/current/stdlib|--coqlib %{_libdir}/coq-core --coqlib_url %{_defaultdocdir}/coq/stdlib|" Remakefile.in sed -i "s|--coqlib_url http://coq.inria.fr/distrib/current/stdlib|--coqlib %{_libdir}/coq-core --coqlib_url %{_defaultdocdir}/coq/stdlib|" Remakefile.in
%else %else
sed -i "s|--coqlib_url http://coq.inria.fr/distrib/current/stdlib|--coqlib %{_libdir}/coq-core|" Remakefile.in sed -i "s|--coqlib_url http://coq.inria.fr/distrib/current/stdlib|--coqlib %{_libdir}/coq-core|" Remakefile.in
%endif %endif
%endif
%build %build
# This is not autotools-compatible, so we don't use the macro. # This is not autotools-compatible, so we don't use the macro.