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

coq-flocq-3.2.0-1.mga8 RPM for aarch64

From Mageia 8 for aarch64 / media / core / release

Name: coq-flocq Distribution: Mageia
Version: 3.2.0 Vendor: Mageia.Org
Release: 1.mga8 Build date: Mon Mar 2 09:38:20 2020
Group: Sciences/Computer science Build host: localhost
Size: 19763914 Source RPM: coq-flocq-3.2.0-1.mga8.src.rpm
Packager: daviddavid <daviddavid>
Url: http://flocq.gforge.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 Mar 02 2020 daviddavid <daviddavid> 3.2.0-1.mga8
  + Revision: 1552907
  - new version: 3.2.0
  + umeabot <umeabot>
  - Mageia 8 Mass Rebuild
* Sun Sep 30 2018 daviddavid <daviddavid> 2.6.0-3.mga7
  + Revision: 1312635
  - rebuild against coq
* Sun Sep 23 2018 umeabot <umeabot> 2.6.0-2.mga7
  + Revision: 1296799
  - Mageia 7 Mass Rebuild

Files

/usr/lib64/coq/user-contrib/Flocq
/usr/lib64/coq/user-contrib/Flocq/Calc
/usr/lib64/coq/user-contrib/Flocq/Calc/Bracket.v
/usr/lib64/coq/user-contrib/Flocq/Calc/Bracket.vo
/usr/lib64/coq/user-contrib/Flocq/Calc/Div.v
/usr/lib64/coq/user-contrib/Flocq/Calc/Div.vo
/usr/lib64/coq/user-contrib/Flocq/Calc/Operations.v
/usr/lib64/coq/user-contrib/Flocq/Calc/Operations.vo
/usr/lib64/coq/user-contrib/Flocq/Calc/Round.v
/usr/lib64/coq/user-contrib/Flocq/Calc/Round.vo
/usr/lib64/coq/user-contrib/Flocq/Calc/Sqrt.v
/usr/lib64/coq/user-contrib/Flocq/Calc/Sqrt.vo
/usr/lib64/coq/user-contrib/Flocq/Core
/usr/lib64/coq/user-contrib/Flocq/Core/Core.v
/usr/lib64/coq/user-contrib/Flocq/Core/Core.vo
/usr/lib64/coq/user-contrib/Flocq/Core/Defs.v
/usr/lib64/coq/user-contrib/Flocq/Core/Defs.vo
/usr/lib64/coq/user-contrib/Flocq/Core/Digits.v
/usr/lib64/coq/user-contrib/Flocq/Core/Digits.vo
/usr/lib64/coq/user-contrib/Flocq/Core/FIX.v
/usr/lib64/coq/user-contrib/Flocq/Core/FIX.vo
/usr/lib64/coq/user-contrib/Flocq/Core/FLT.v
/usr/lib64/coq/user-contrib/Flocq/Core/FLT.vo
/usr/lib64/coq/user-contrib/Flocq/Core/FLX.v
/usr/lib64/coq/user-contrib/Flocq/Core/FLX.vo
/usr/lib64/coq/user-contrib/Flocq/Core/FTZ.v
/usr/lib64/coq/user-contrib/Flocq/Core/FTZ.vo
/usr/lib64/coq/user-contrib/Flocq/Core/Float_prop.v
/usr/lib64/coq/user-contrib/Flocq/Core/Float_prop.vo
/usr/lib64/coq/user-contrib/Flocq/Core/Generic_fmt.v
/usr/lib64/coq/user-contrib/Flocq/Core/Generic_fmt.vo
/usr/lib64/coq/user-contrib/Flocq/Core/Raux.v
/usr/lib64/coq/user-contrib/Flocq/Core/Raux.vo
/usr/lib64/coq/user-contrib/Flocq/Core/Round_NE.v
/usr/lib64/coq/user-contrib/Flocq/Core/Round_NE.vo
/usr/lib64/coq/user-contrib/Flocq/Core/Round_pred.v
/usr/lib64/coq/user-contrib/Flocq/Core/Round_pred.vo
/usr/lib64/coq/user-contrib/Flocq/Core/Ulp.v
/usr/lib64/coq/user-contrib/Flocq/Core/Ulp.vo
/usr/lib64/coq/user-contrib/Flocq/Core/Zaux.v
/usr/lib64/coq/user-contrib/Flocq/Core/Zaux.vo
/usr/lib64/coq/user-contrib/Flocq/IEEE754
/usr/lib64/coq/user-contrib/Flocq/IEEE754/Binary.v
/usr/lib64/coq/user-contrib/Flocq/IEEE754/Binary.vo
/usr/lib64/coq/user-contrib/Flocq/IEEE754/Bits.v
/usr/lib64/coq/user-contrib/Flocq/IEEE754/Bits.vo
/usr/lib64/coq/user-contrib/Flocq/Pff
/usr/lib64/coq/user-contrib/Flocq/Pff/Pff.v
/usr/lib64/coq/user-contrib/Flocq/Pff/Pff.vo
/usr/lib64/coq/user-contrib/Flocq/Pff/Pff2Flocq.v
/usr/lib64/coq/user-contrib/Flocq/Pff/Pff2Flocq.vo
/usr/lib64/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.v
/usr/lib64/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.vo
/usr/lib64/coq/user-contrib/Flocq/Prop
/usr/lib64/coq/user-contrib/Flocq/Prop/Div_sqrt_error.v
/usr/lib64/coq/user-contrib/Flocq/Prop/Div_sqrt_error.vo
/usr/lib64/coq/user-contrib/Flocq/Prop/Double_rounding.v
/usr/lib64/coq/user-contrib/Flocq/Prop/Double_rounding.vo
/usr/lib64/coq/user-contrib/Flocq/Prop/Mult_error.v
/usr/lib64/coq/user-contrib/Flocq/Prop/Mult_error.vo
/usr/lib64/coq/user-contrib/Flocq/Prop/Plus_error.v
/usr/lib64/coq/user-contrib/Flocq/Prop/Plus_error.vo
/usr/lib64/coq/user-contrib/Flocq/Prop/Relative.v
/usr/lib64/coq/user-contrib/Flocq/Prop/Relative.vo
/usr/lib64/coq/user-contrib/Flocq/Prop/Round_odd.v
/usr/lib64/coq/user-contrib/Flocq/Prop/Round_odd.vo
/usr/lib64/coq/user-contrib/Flocq/Prop/Sterbenz.v
/usr/lib64/coq/user-contrib/Flocq/Prop/Sterbenz.vo
/usr/lib64/coq/user-contrib/Flocq/Version.v
/usr/lib64/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.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.Bits.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, Sun Mar 9 11:05:10 2025