Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

flocq-devel-4.2.2-1.6 RPM for aarch64

From OpenSuSE Ports Tumbleweed for aarch64

Name: flocq-devel Distribution: openSUSE Tumbleweed
Version: 4.2.2 Vendor: openSUSE
Release: 1.6 Build date: Fri Feb 27 23:28:55 2026
Group: Development/Libraries/Other Build host: reproducible
Size: 2121216 Source RPM: flocq-4.2.2-1.6.src.rpm
Packager: http://bugs.opensuse.org
Url: https://flocq.gitlabpages.inria.fr/
Summary: Development files for Flocq
 
This package contains development files for Flocq.

Provides

Requires

License

LGPL-3.0-or-later

Changelog

* Fri Feb 27 2026 Aaron Puchert <aaronpuchert@alice-dsl.net>
  - Update to version 4.2.2.
    * Made Coq 8.15 the minimal version and removed the `Int63Compat`
      and `Nat2Z_compat` layers
    * Ensured compatibility from Coq 8.15 to 9.1.0.
    * Ensured compatibility with Coq Stdlib up to 9.1.0.
  - Fix build with Coq/Rocq > 9 by requiring standard library.
* Thu Jul 25 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 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 2023 Aaron Puchert <aaronpuchert@alice-dsl.net>
  - Update to version 4.1.2.
    * Ensured compatibility from Coq 8.12 to 8.18.
  - Update to version 4.1.3.
    * Avoided breaking users of `IEEE754.PrimFloat`.
* Wed Mar 29 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 2023 Aaron Puchert <aaronpuchert@alice-dsl.net> 
  - Build with ocaml-rpm-macros to get proper Requires and Provides
    for flocq-devel. This should prevent incompatibilities with other
    Ocaml libraries when building native objects against flocq-devel.
* Thu Jun 30 2022 Bernhard Wiedemann <bwiedemann@suse.com>
  - Add Git-Clone URL
* Thu Jun 02 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.
  - Fix patching of coqdoc invocation, make it more robust.
  - Patch up coqdoc invocation also for older Coq versions since they
    don't understand --coqlib_url.
* Fri Apr 15 2022 Aaron Puchert <aaronpuchert@alice-dsl.net>
  - Update to version 4.0.0.
    * Made Coq 8.12 the minimal version and removed the
      `IEEE754.SpecFloatCompat` layer
    * Removed automatic export of `ZArith` and `Reals` from
      `Core.Raux` and `Core.Core`
    * Proved a close/far-path adder in `Calc.Plus`.
    * Made `IEEE754.Binary` a wrapper around
      `IEEE754.BinarySingleNaN`.
  - Put development files into separate package.
  - Let documentation point to coq-doc.
* Wed Feb 05 2020 Peter Trommler <ptrommler@icloud.com>
  - update to 3.2.0
    * compatibility with coq 8.10

Files

/usr/lib64/coq/user-contrib/Flocq
/usr/lib64/coq/user-contrib/Flocq/Calc
/usr/lib64/coq/user-contrib/Flocq/Calc/Bracket.v
/usr/lib64/coq/user-contrib/Flocq/Calc/Div.v
/usr/lib64/coq/user-contrib/Flocq/Calc/Operations.v
/usr/lib64/coq/user-contrib/Flocq/Calc/Plus.v
/usr/lib64/coq/user-contrib/Flocq/Calc/Round.v
/usr/lib64/coq/user-contrib/Flocq/Calc/Sqrt.v
/usr/lib64/coq/user-contrib/Flocq/Core
/usr/lib64/coq/user-contrib/Flocq/Core/Core.v
/usr/lib64/coq/user-contrib/Flocq/Core/Defs.v
/usr/lib64/coq/user-contrib/Flocq/Core/Digits.v
/usr/lib64/coq/user-contrib/Flocq/Core/FIX.v
/usr/lib64/coq/user-contrib/Flocq/Core/FLT.v
/usr/lib64/coq/user-contrib/Flocq/Core/FLX.v
/usr/lib64/coq/user-contrib/Flocq/Core/FTZ.v
/usr/lib64/coq/user-contrib/Flocq/Core/Float_prop.v
/usr/lib64/coq/user-contrib/Flocq/Core/Generic_fmt.v
/usr/lib64/coq/user-contrib/Flocq/Core/Raux.v
/usr/lib64/coq/user-contrib/Flocq/Core/Round_NE.v
/usr/lib64/coq/user-contrib/Flocq/Core/Round_pred.v
/usr/lib64/coq/user-contrib/Flocq/Core/Ulp.v
/usr/lib64/coq/user-contrib/Flocq/Core/Zaux.v
/usr/lib64/coq/user-contrib/Flocq/IEEE754
/usr/lib64/coq/user-contrib/Flocq/IEEE754/Binary.v
/usr/lib64/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.v
/usr/lib64/coq/user-contrib/Flocq/IEEE754/Bits.v
/usr/lib64/coq/user-contrib/Flocq/IEEE754/PrimFloat.v
/usr/lib64/coq/user-contrib/Flocq/Pff
/usr/lib64/coq/user-contrib/Flocq/Pff/Pff.v
/usr/lib64/coq/user-contrib/Flocq/Pff/Pff2Flocq.v
/usr/lib64/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.v
/usr/lib64/coq/user-contrib/Flocq/Prop
/usr/lib64/coq/user-contrib/Flocq/Prop/Div_sqrt_error.v
/usr/lib64/coq/user-contrib/Flocq/Prop/Double_rounding.v
/usr/lib64/coq/user-contrib/Flocq/Prop/Mult_error.v
/usr/lib64/coq/user-contrib/Flocq/Prop/Plus_error.v
/usr/lib64/coq/user-contrib/Flocq/Prop/Relative.v
/usr/lib64/coq/user-contrib/Flocq/Prop/Round_odd.v
/usr/lib64/coq/user-contrib/Flocq/Prop/Sterbenz.v
/usr/lib64/coq/user-contrib/Flocq/Version.v

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Aug 11 00:12:41 2026