- Update to version 4.1.1.

* Ensured compatibility from Coq 8.12 to 8.17.

OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=11
This commit is contained in:
Aaron Puchert 2023-03-29 19:03:02 +00:00 committed by Git OBS Bridge
parent 2aa2942b02
commit a3d0bd4298
4 changed files with 10 additions and 4 deletions

View File

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

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

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

View File

@ -1,3 +1,9 @@
-------------------------------------------------------------------
Wed Mar 29 18:55:13 UTC 2023 - Aaron Puchert <aaronpuchert@alice-dsl.net>
- Update to version 4.1.1.
* Ensured compatibility from Coq 8.12 to 8.17.
------------------------------------------------------------------- -------------------------------------------------------------------
Thu Jan 26 22:02:12 UTC 2023 - Aaron Puchert <aaronpuchert@alice-dsl.net> Thu Jan 26 22:02:12 UTC 2023 - Aaron Puchert <aaronpuchert@alice-dsl.net>

View File

@ -19,7 +19,7 @@
Name: flocq Name: flocq
Version: 4.1.0 Version: 4.1.1
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