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

- Update to version 4.1.4.

Browse Source 
* Ensured compatibility from Coq 8.12 to 8.19.

OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=15
This commit is contained in:
Aaron Puchert 2024-01-28 22:42:01 +00:00 committed by Git OBS Bridge
parent 4678d28ed1
commit 04b5bc9f8e
4 changed files with 12 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
flocq-4.1.3.tar.gz
View File

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

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

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

6
flocq.changes
View File

@ -1,3 +1,9 @@
-------------------------------------------------------------------
Sun Jan 28 22:40:44 UTC 2024 - Aaron Puchert <aaronpuchert@alice-dsl.net>
- Update to version 4.1.4.
* Ensured compatibility from Coq 8.12 to 8.19.
------------------------------------------------------------------- -------------------------------------------------------------------
Sun Sep 17 18:49:04 UTC 2023 - Aaron Puchert <aaronpuchert@alice-dsl.net> Sun Sep 17 18:49:04 UTC 2023 - Aaron Puchert <aaronpuchert@alice-dsl.net>

6
flocq.spec
View File

@ -1,9 +1,9 @@
# #
# spec file for package flocq # spec file for package flocq
# #
# Copyright (c) 2023 SUSE LLC # Copyright (c) 2024 SUSE LLC
# Copyright (c) 2020 Peter Trommler <ptrommler@icloud.com> # Copyright (c) 2020 Peter Trommler <ptrommler@icloud.com>
# Copyright (c) 2023 Aaron Puchert <aaronpuchert@alice-dsl.net> # Copyright (c) 2024 Aaron Puchert <aaronpuchert@alice-dsl.net>
# #
# All modifications and additions to the file contributed by third parties # All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed # remain the property of their copyright owners, unless otherwise agreed
@ -19,7 +19,7 @@
Name: flocq Name: flocq
Version: 4.1.3 Version: 4.1.4
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