| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: flocq-doc | Distribution: SUSE Linux Enterprise 15 SP5 |
| Version: 4.1.0 | Vendor: openSUSE |
| Release: bp155.1.9 | Build date: Mon May 22 12:30:03 2023 |
| Group: Documentation/HTML | Build host: old-atreju2 |
| Size: 11291272 | Source RPM: flocq-4.1.0-bp155.1.9.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
* 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
* Thu Apr 13 2017 peter.trommler@ohm-hochschule.de
- update to 2.5.2 from upstream
* Tue Nov 05 2013 peter.trommler@ohm-hochschule.de
- update to 2.2.0 from upstream
* Wed Dec 26 2012 peter.trommler@ohm-hochschule.de
- remove coq version constraint
* Thu Nov 29 2012 peter.trommler@ohm-hochschule.de
- imported from Fedora
- adapted to openSUSE packaging guidelines
/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.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 Jul 9 18:05:00 2024