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

- Update to version 4.1.0.

Browse Source 
* Added `Bnearbyint` and `Btrunc` in `IEEE754`.
  * Ensured compatibility from Coq 8.12 to 8.16.

OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=3
This commit is contained in:
Aaron Puchert 2022-06-02 21:57:28 +00:00 committed by Git OBS Bridge
parent b09939b9fc
commit 387644463d
4 changed files with 14 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
flocq-4.0.0.tar.gz
View File

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

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

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

7
flocq.changes
View File

@ -1,3 +1,10 @@
-------------------------------------------------------------------
Thu Jun 2 21:40:52 UTC 2022 - Aaron Puchert <aaronpuchert@alice-dsl.net>
- Update to version 4.1.0.
* Added `Bnearbyint` and `Btrunc` in `IEEE754`.
* Ensured compatibility from Coq 8.12 to 8.16.
------------------------------------------------------------------- -------------------------------------------------------------------
Fri Apr 15 16:41:08 UTC 2022 - Aaron Puchert <aaronpuchert@alice-dsl.net> Fri Apr 15 16:41:08 UTC 2022 - Aaron Puchert <aaronpuchert@alice-dsl.net>

6
flocq.spec
View File

@ -1,6 +1,7 @@
# #
# spec file for package flocq # spec file for package flocq
# #
# Copyright (c) 2022 SUSE LLC
# Copyright (c) 2020 Peter Trommler <ptrommler@icloud.com> # Copyright (c) 2020 Peter Trommler <ptrommler@icloud.com>
# Copyright (c) 2022 Aaron Puchert <aaronpuchert@alice-dsl.net> # Copyright (c) 2022 Aaron Puchert <aaronpuchert@alice-dsl.net>
# #
@ -13,11 +14,12 @@
# license that conforms to the Open Source Definition (Version 1.9) # license that conforms to the Open Source Definition (Version 1.9)
# published by the Open Source Initiative. # 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 Name: flocq
Version: 4.0.0 Version: 4.1.0
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