rpm/flocq
SHA256
1
0
Fork 0
forked from pool/flocq
Code Pull Requests Activity

Accepting request 1189653 from science

Browse Source 
- 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
This commit is contained in:
Dominique Leuenberger 2024-07-26 14:15:44 +00:00 committed by Git OBS Bridge
commit 1f73c35c7d
4 changed files with 12 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
flocq-4.1.4.tar.gz
View File

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

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

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

8
flocq.changes
View File

@ -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>

2
flocq.spec
View File

@ -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