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

coq-flocq-4.1.0-2.mga9 RPM for i586

From Mageia Cauldron for i586 / media / core / release

Name: coq-flocq Distribution: Mageia
Version: 4.1.0 Vendor: Mageia.Org
Release: 2.mga9 Build date: Mon Feb 27 06:38:53 2023
Group: Sciences/Computer science Build host: localhost
Size: 21687968 Source RPM: coq-flocq-4.1.0-2.mga9.src.rpm
Packager: daviddavid <daviddavid>
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.

Provides

Requires

License

LGPLv3+

Changelog

* Mon Feb 27 2023 daviddavid <daviddavid> 4.1.0-2.mga9
  + Revision: 1945587
  - fix build by pointing to the local coqdoc files
* Sun Nov 06 2022 danf <danf> 4.1.0-1.mga9
  + Revision: 1903928
  - Use the default subdirectory for object files
  - Update to flocq ver. 4.1.0

Files

/usr/lib/ocaml/coq/user-contrib/Flocq
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Bracket.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Bracket.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Div.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Div.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Operations.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Operations.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Plus.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Plus.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Round.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Round.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Sqrt.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Sqrt.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Core.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Core.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Defs.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Defs.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Digits.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Digits.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/FIX.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/FIX.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/FLT.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/FLT.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/FLX.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/FLX.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/FTZ.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/FTZ.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Float_prop.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Float_prop.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Generic_fmt.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Generic_fmt.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Raux.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Raux.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Round_NE.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Round_NE.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Round_pred.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Round_pred.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Ulp.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Ulp.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Zaux.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Zaux.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/Binary.v
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/Binary.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.v
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/Bits.v
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/Bits.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/Int63Compat.v
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/Int63Compat.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/Int63Copy.v
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/Int63Copy.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/PrimFloat.v
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/PrimFloat.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Pff
/usr/lib/ocaml/coq/user-contrib/Flocq/Pff/Pff.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Pff/Pff.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Pff/Pff2Flocq.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Pff/Pff2Flocq.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Div_sqrt_error.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Div_sqrt_error.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Double_rounding.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Double_rounding.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Mult_error.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Mult_error.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Plus_error.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Plus_error.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Relative.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Relative.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Round_odd.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Round_odd.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Sterbenz.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Sterbenz.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Version.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Version.vo
/usr/share/doc/coq-flocq
/usr/share/doc/coq-flocq/AUTHORS
/usr/share/doc/coq-flocq/COPYING
/usr/share/doc/coq-flocq/NEWS.md
/usr/share/doc/coq-flocq/README.md
/usr/share/doc/coq-flocq/html
/usr/share/doc/coq-flocq/html/Flocq.Calc.Bracket.html
/usr/share/doc/coq-flocq/html/Flocq.Calc.Div.html
/usr/share/doc/coq-flocq/html/Flocq.Calc.Operations.html
/usr/share/doc/coq-flocq/html/Flocq.Calc.Plus.html
/usr/share/doc/coq-flocq/html/Flocq.Calc.Round.html
/usr/share/doc/coq-flocq/html/Flocq.Calc.Sqrt.html
/usr/share/doc/coq-flocq/html/Flocq.Core.Core.html
/usr/share/doc/coq-flocq/html/Flocq.Core.Defs.html
/usr/share/doc/coq-flocq/html/Flocq.Core.Digits.html
/usr/share/doc/coq-flocq/html/Flocq.Core.FIX.html
/usr/share/doc/coq-flocq/html/Flocq.Core.FLT.html
/usr/share/doc/coq-flocq/html/Flocq.Core.FLX.html
/usr/share/doc/coq-flocq/html/Flocq.Core.FTZ.html
/usr/share/doc/coq-flocq/html/Flocq.Core.Float_prop.html
/usr/share/doc/coq-flocq/html/Flocq.Core.Generic_fmt.html
/usr/share/doc/coq-flocq/html/Flocq.Core.Raux.html
/usr/share/doc/coq-flocq/html/Flocq.Core.Round_NE.html
/usr/share/doc/coq-flocq/html/Flocq.Core.Round_pred.html
/usr/share/doc/coq-flocq/html/Flocq.Core.Ulp.html
/usr/share/doc/coq-flocq/html/Flocq.Core.Zaux.html
/usr/share/doc/coq-flocq/html/Flocq.IEEE754.Binary.html
/usr/share/doc/coq-flocq/html/Flocq.IEEE754.BinarySingleNaN.html
/usr/share/doc/coq-flocq/html/Flocq.IEEE754.Bits.html
/usr/share/doc/coq-flocq/html/Flocq.IEEE754.Int63Compat.html
/usr/share/doc/coq-flocq/html/Flocq.IEEE754.Int63Copy.html
/usr/share/doc/coq-flocq/html/Flocq.IEEE754.PrimFloat.html
/usr/share/doc/coq-flocq/html/Flocq.Pff.Pff.html
/usr/share/doc/coq-flocq/html/Flocq.Pff.Pff2Flocq.html
/usr/share/doc/coq-flocq/html/Flocq.Pff.Pff2FlocqAux.html
/usr/share/doc/coq-flocq/html/Flocq.Prop.Div_sqrt_error.html
/usr/share/doc/coq-flocq/html/Flocq.Prop.Double_rounding.html
/usr/share/doc/coq-flocq/html/Flocq.Prop.Mult_error.html
/usr/share/doc/coq-flocq/html/Flocq.Prop.Plus_error.html
/usr/share/doc/coq-flocq/html/Flocq.Prop.Relative.html
/usr/share/doc/coq-flocq/html/Flocq.Prop.Round_odd.html
/usr/share/doc/coq-flocq/html/Flocq.Prop.Sterbenz.html
/usr/share/doc/coq-flocq/html/Flocq.Version.html
/usr/share/doc/coq-flocq/html/coqdoc.css
/usr/share/doc/coq-flocq/html/index.html
/usr/share/doc/coq-flocq/html/toc.html


Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Mar 28 05:43:17 2024