Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package flocq for openSUSE:Factory checked in at 2022-06-03 14:16:51 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/flocq (Old) and /work/SRC/openSUSE:Factory/.flocq.new.1548 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "flocq" Fri Jun 3 14:16:51 2022 rev:2 rq:980558 version:4.1.0 Changes: -------- --- /work/SRC/openSUSE:Factory/flocq/flocq.changes 2022-05-02 16:25:10.468811848 +0200 +++ /work/SRC/openSUSE:Factory/.flocq.new.1548/flocq.changes 2022-06-03 14:16:58.593340671 +0200 @@ -1,0 +2,10 @@ +Thu Jun 2 21:40:52 UTC 2022 - Aaron Puchert <aaronpuch...@alice-dsl.net> + +- Update to version 4.1.0. + * Added `Bnearbyint` and `Btrunc` in `IEEE754`. + * Ensured compatibility from Coq 8.12 to 8.16. +- Fix patching of coqdoc invocation, make it more robust. +- Patch up coqdoc invocation also for older Coq versions since they + don't understand --coqlib_url. + +------------------------------------------------------------------- Old: ---- flocq-4.0.0.tar.gz New: ---- flocq-4.1.0.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ flocq.spec ++++++ --- /var/tmp/diff_new_pack.UWaZd1/_old 2022-06-03 14:16:59.153341399 +0200 +++ /var/tmp/diff_new_pack.UWaZd1/_new 2022-06-03 14:16:59.161341410 +0200 @@ -1,6 +1,7 @@ # # spec file for package flocq # +# Copyright (c) 2022 SUSE LLC # Copyright (c) 2020 Peter Trommler <ptromm...@icloud.com> # Copyright (c) 2022 Aaron Puchert <aaronpuch...@alice-dsl.net> # @@ -13,11 +14,12 @@ # license that conforms to the Open Source Definition (Version 1.9) # published by the Open Source Initiative. -# Please submit bugfixes or comments via http://bugs.opensuse.org/ +# Please submit bugfixes or comments via https://bugs.opensuse.org/ # + Name: flocq -Version: 4.0.0 +Version: 4.1.0 Release: 0 Summary: Formalization of floating point numbers for Coq Group: Productivity/Scientific/Math @@ -61,8 +63,11 @@ %setup -q # Make the documentation point to coq-doc if possible. +grep "\-\-coqlib_url http://coq.inria.fr/distrib/current/stdlib"; Remakefile.in && %if %{pkg_vcmp coq >= 8.14} -sed -i "s|--coqlib 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 +sed -i "s|--coqlib_url http://coq.inria.fr/distrib/current/stdlib|--coqlib %{_libdir}/coq-core|" Remakefile.in %endif %build ++++++ flocq-4.0.0.tar.gz -> flocq-4.1.0.tar.gz ++++++ ++++ 2670 lines of diff (skipped)
