Accepting request 1189653 from science

- Update to version 4.2.0. * Added SF2B' as a proof-free variant of SF2B. * Fixed installation of Pff2Flocq. * Ensured compatibility from Coq 8.12 to 8.20. OBS-URL: https://build.opensuse.org/request/show/1189653 OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/flocq?expand=0&rev=8
- Polish change log.
2024-07-26 14:15:44 +00:00 · 2024-07-25 19:12:53 +00:00 · 2024-07-25 18:48:59 +00:00
4 changed files with 12 additions and 4 deletions
--- a/flocq-4.1.4.tar.gz
+++ b/flocq-4.1.4.tar.gz
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:09a1f80c3b3748064a788e7aafb1ce5d05be216b81557100a4708ef41adf3219
-size 451421
--- a/flocq-4.2.0.tar.gz
+++ b/flocq-4.2.0.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:d05919a1d29a5174ef28627d50f079c4118c625935503d5e3b78491bcce9b4b3
+size 451654
--- a/flocq.changes
+++ b/flocq.changes
@@ -1,3 +1,11 @@
+-------------------------------------------------------------------
+Thu Jul 25 07:00:59 UTC 2024 - Frantisek Simorda <frantisek.simorda@suse.com>
+
+- Update to version 4.2.0.
+  * Added SF2B' as a proof-free variant of SF2B.
+  * Fixed installation of Pff2Flocq.
+  * Ensured compatibility from Coq 8.12 to 8.20.
+
 -------------------------------------------------------------------
 Sun Jan 28 22:40:44 UTC 2024 - Aaron Puchert <aaronpuchert@alice-dsl.net>

--- a/flocq.spec
+++ b/flocq.spec
@@ -19,7 +19,7 @@


 Name:           flocq
-Version:        4.1.4
+Version:        4.2.0
 Release:        0
 Summary:        Formalization of floating point numbers for Coq
 Group:          Productivity/Scientific/Math