| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: flocq-doc | Distribution: openSUSE Tumbleweed |
| Version: 4.2.0 | Vendor: openSUSE |
| Release: 1.5 | Build date: Thu Jul 25 09:00:59 2024 |
| Group: Documentation/HTML | Build host: reproducible |
| Size: 10461524 | Source RPM: flocq-4.2.0-1.5.src.rpm |
| Packager: http://bugs.opensuse.org | |
| Url: https://flocq.gitlabpages.inria.fr/ | |
| Summary: Documentation for Flocq | |
This package contains the HTML documentation for flocq.
LGPL-3.0-or-later
* 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
* Thu Oct 11 2018 ptrommler@icloud.com
- update to 3.0.0
* compatibility with coq 8.8
/usr/share/doc/packages/flocq-doc /usr/share/doc/packages/flocq-doc/html /usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Bracket.html /usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Div.html /usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Operations.html /usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Plus.html /usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Round.html /usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Sqrt.html /usr/share/doc/packages/flocq-doc/html/Flocq.Core.Core.html /usr/share/doc/packages/flocq-doc/html/Flocq.Core.Defs.html /usr/share/doc/packages/flocq-doc/html/Flocq.Core.Digits.html /usr/share/doc/packages/flocq-doc/html/Flocq.Core.FIX.html /usr/share/doc/packages/flocq-doc/html/Flocq.Core.FLT.html /usr/share/doc/packages/flocq-doc/html/Flocq.Core.FLX.html /usr/share/doc/packages/flocq-doc/html/Flocq.Core.FTZ.html /usr/share/doc/packages/flocq-doc/html/Flocq.Core.Float_prop.html /usr/share/doc/packages/flocq-doc/html/Flocq.Core.Generic_fmt.html /usr/share/doc/packages/flocq-doc/html/Flocq.Core.Raux.html /usr/share/doc/packages/flocq-doc/html/Flocq.Core.Round_NE.html /usr/share/doc/packages/flocq-doc/html/Flocq.Core.Round_pred.html /usr/share/doc/packages/flocq-doc/html/Flocq.Core.Ulp.html /usr/share/doc/packages/flocq-doc/html/Flocq.Core.Zaux.html /usr/share/doc/packages/flocq-doc/html/Flocq.IEEE754.Binary.html /usr/share/doc/packages/flocq-doc/html/Flocq.IEEE754.BinarySingleNaN.html /usr/share/doc/packages/flocq-doc/html/Flocq.IEEE754.Bits.html /usr/share/doc/packages/flocq-doc/html/Flocq.IEEE754.Int63Compat.html /usr/share/doc/packages/flocq-doc/html/Flocq.IEEE754.Int63Copy.html /usr/share/doc/packages/flocq-doc/html/Flocq.IEEE754.PrimFloat.html /usr/share/doc/packages/flocq-doc/html/Flocq.Pff.Nat2Z_compat.html /usr/share/doc/packages/flocq-doc/html/Flocq.Pff.Pff.html /usr/share/doc/packages/flocq-doc/html/Flocq.Pff.Pff2Flocq.html /usr/share/doc/packages/flocq-doc/html/Flocq.Pff.Pff2FlocqAux.html /usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Div_sqrt_error.html /usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Double_rounding.html /usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Mult_error.html /usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Plus_error.html /usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Relative.html /usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Round_odd.html /usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Sterbenz.html /usr/share/doc/packages/flocq-doc/html/Flocq.Version.html /usr/share/doc/packages/flocq-doc/html/coqdoc.css /usr/share/doc/packages/flocq-doc/html/index.html /usr/share/doc/packages/flocq-doc/html/toc.html
Generated by rpm2html 1.8.1
Fabrice Bellet, Sat Feb 1 23:58:14 2025