| 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:Factory:zSystems |
| Version: 4.1.4 | Vendor: openSUSE |
| Release: 1.3 | Build date: Sun Jan 28 23:40:44 2024 |
| Group: Documentation/HTML | Build host: reproducible |
| Size: 10389491 | Source RPM: flocq-4.1.4-1.3.src.rpm |
| Packager: https://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
* 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
* Thu Nov 02 2017 ptrommler@icloud.com
- update to 2.6.0
* fix compile with coq 8.7.0
/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.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, Tue Apr 30 23:40:23 2024