Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: flocq | Distribution: Fedora Project |
Version: 4.2.0 | Vendor: Fedora Project |
Release: 2.fc41 | Build date: Thu Jul 18 01:26:38 2024 |
Group: Unspecified | Build host: buildhw-a64-06.iad2.fedoraproject.org |
Size: 18152854 | Source RPM: flocq-4.2.0-2.fc41.src.rpm |
Packager: Fedora Project | |
Url: https://flocq.gitlabpages.inria.fr/ | |
Summary: Formalization of floating point numbers for Coq |
Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
LGPL-3.0-or-later
* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 4.2.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 4.2.0-1 - Version 4.2.0 * Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 4.1.4-3 - OCaml 5.2.0 ppc64le fix * Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 4.1.4-2 - OCaml 5.2.0 for Fedora 41 * Fri Feb 02 2024 Jerry James <loganjerry@gmail.com> - 4.1.4-1 - Version 4.1.4 * Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 4.1.3-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 4.1.3-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Tue Jan 02 2024 Jerry James <loganjerry@gmail.com> - 4.1.3-1 - Version 4.1.3 * Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 4.1.1-8 - OCaml 5.1.1 + s390x code gen fix for Fedora 40 * Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 4.1.1-7 - OCaml 5.1.1 rebuild for Fedora 40 * Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 4.1.1-6 - OCaml 5.1 rebuild for Fedora 40 * Thu Jul 27 2023 Jerry James <loganjerry@gmail.com> - 4.1.1-5 - Rebuild for ocaml-zarith 1.13 * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 4.1.1-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Wed Jul 12 2023 Richard W.M. Jones <rjones@redhat.com> - 4.1.1-3 - OCaml 5.0 rebuild for Fedora 39 * Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 4.1.1-2 - OCaml 5.0.0 rebuild * Sat Apr 01 2023 Jerry James <loganjerry@gmail.com> - 4.1.1-1 - Version 4.1.1 * Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 4.1.0-5 - Bump release and rebuild * Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 4.1.0-4 - Rebuild OCaml packages for F38 * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 4.1.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Sat Nov 26 2022 Jerry James <loganjerry@gmail.com> - 4.1.0-2 - Rebuild for coq 8.16.1 * Fri Sep 16 2022 Jerry James <loganjerry@gmail.com> - 4.1.0-1 - Version 4.1.0 * Thu Aug 18 2022 Jerry James <loganjerry@gmail.com> - 3.4.3-5 - Rebuild to fix coq dependency - Convert License tag to SPDX * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 3.4.3-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Tue Jul 19 2022 Jerry James <loganjerry@gmail.com> - 3.4.3-3 - Remove i686 support - Use new OCaml macros
/usr/lib64/ocaml/coq/user-contrib/Flocq /usr/lib64/ocaml/coq/user-contrib/Flocq/Calc /usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Bracket.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Div.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Operations.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Plus.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Round.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Sqrt.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Core /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Core.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Defs.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Digits.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FIX.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FLT.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FLX.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FTZ.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Float_prop.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Generic_fmt.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Raux.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Round_NE.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Round_pred.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Ulp.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Zaux.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754 /usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Binary.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Bits.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Int63Compat.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Int63Copy.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/PrimFloat.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Pff /usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Nat2Z_compat.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff2Flocq.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Div_sqrt_error.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Double_rounding.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Mult_error.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Plus_error.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Relative.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Round_odd.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Sterbenz.vo /usr/lib64/ocaml/coq/user-contrib/Flocq/Version.vo /usr/share/doc/flocq /usr/share/doc/flocq/AUTHORS /usr/share/doc/flocq/NEWS.md /usr/share/doc/flocq/README.md /usr/share/doc/flocq/html /usr/share/doc/flocq/html/Flocq.Calc.Bracket.html /usr/share/doc/flocq/html/Flocq.Calc.Div.html /usr/share/doc/flocq/html/Flocq.Calc.Operations.html /usr/share/doc/flocq/html/Flocq.Calc.Plus.html /usr/share/doc/flocq/html/Flocq.Calc.Round.html /usr/share/doc/flocq/html/Flocq.Calc.Sqrt.html /usr/share/doc/flocq/html/Flocq.Core.Core.html /usr/share/doc/flocq/html/Flocq.Core.Defs.html /usr/share/doc/flocq/html/Flocq.Core.Digits.html /usr/share/doc/flocq/html/Flocq.Core.FIX.html /usr/share/doc/flocq/html/Flocq.Core.FLT.html /usr/share/doc/flocq/html/Flocq.Core.FLX.html /usr/share/doc/flocq/html/Flocq.Core.FTZ.html /usr/share/doc/flocq/html/Flocq.Core.Float_prop.html /usr/share/doc/flocq/html/Flocq.Core.Generic_fmt.html /usr/share/doc/flocq/html/Flocq.Core.Raux.html /usr/share/doc/flocq/html/Flocq.Core.Round_NE.html /usr/share/doc/flocq/html/Flocq.Core.Round_pred.html /usr/share/doc/flocq/html/Flocq.Core.Ulp.html /usr/share/doc/flocq/html/Flocq.Core.Zaux.html /usr/share/doc/flocq/html/Flocq.IEEE754.Binary.html /usr/share/doc/flocq/html/Flocq.IEEE754.BinarySingleNaN.html /usr/share/doc/flocq/html/Flocq.IEEE754.Bits.html /usr/share/doc/flocq/html/Flocq.IEEE754.Int63Compat.html /usr/share/doc/flocq/html/Flocq.IEEE754.Int63Copy.html /usr/share/doc/flocq/html/Flocq.IEEE754.PrimFloat.html /usr/share/doc/flocq/html/Flocq.Pff.Nat2Z_compat.html /usr/share/doc/flocq/html/Flocq.Pff.Pff.html /usr/share/doc/flocq/html/Flocq.Pff.Pff2Flocq.html /usr/share/doc/flocq/html/Flocq.Pff.Pff2FlocqAux.html /usr/share/doc/flocq/html/Flocq.Prop.Div_sqrt_error.html /usr/share/doc/flocq/html/Flocq.Prop.Double_rounding.html /usr/share/doc/flocq/html/Flocq.Prop.Mult_error.html /usr/share/doc/flocq/html/Flocq.Prop.Plus_error.html /usr/share/doc/flocq/html/Flocq.Prop.Relative.html /usr/share/doc/flocq/html/Flocq.Prop.Round_odd.html /usr/share/doc/flocq/html/Flocq.Prop.Sterbenz.html /usr/share/doc/flocq/html/Flocq.Version.html /usr/share/doc/flocq/html/coqdoc.css /usr/share/doc/flocq/html/index.html /usr/share/doc/flocq/html/toc.html /usr/share/licenses/flocq /usr/share/licenses/flocq/COPYING
Generated by rpm2html 1.8.1
Fabrice Bellet, Wed Sep 11 02:01:04 2024