libfloat-coq_8.4-5_all.deb


Advertisement

Description

libfloat-coq - Coq library on floating-point arithmetic

Property Value
Distribution Debian Sid
Repository Debian Main i386
Package name libfloat-coq
Package version 8.4
Package release 5
Package architecture all
Package type deb
Installed size 62.03 KB
Download size 10.92 MB
Official Mirror ftp.br.debian.org
Description -

Alternatives

Package Version Architecture Repository
libfloat-coq_8.4-5_all.deb 8.4 all Debian Main
libfloat-coq - - -

Requires

Name Value
coq-8.4pl4+4.02.3 -

Download

Type URL
Binary Package libfloat-coq_8.4-5_all.deb
Source Package coq-float

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libfloat-coq deb package:
    # sudo apt-get install libfloat-coq

Files

Path
/usr/lib/coq/user-contrib/Float/AlgoPredSucc.vo
/usr/lib/coq/user-contrib/Float/AllFloat.vo
/usr/lib/coq/user-contrib/Float/Axpy.vo
/usr/lib/coq/user-contrib/Float/Closest.vo
/usr/lib/coq/user-contrib/Float/Closest2Plus.vo
/usr/lib/coq/user-contrib/Float/Closest2Prop.vo
/usr/lib/coq/user-contrib/Float/ClosestMult.vo
/usr/lib/coq/user-contrib/Float/ClosestPlus.vo
/usr/lib/coq/user-contrib/Float/ClosestProp.vo
/usr/lib/coq/user-contrib/Float/DblRndOdd.vo
/usr/lib/coq/user-contrib/Float/Dekker.vo
/usr/lib/coq/user-contrib/Float/Digit.vo
/usr/lib/coq/user-contrib/Float/Divnk.vo
/usr/lib/coq/user-contrib/Float/DoubleRound.vo
/usr/lib/coq/user-contrib/Float/EFast2Sum.vo
/usr/lib/coq/user-contrib/Float/FArgReduct.vo
/usr/lib/coq/user-contrib/Float/FArgReduct2.vo
/usr/lib/coq/user-contrib/Float/FArgReduct3.vo
/usr/lib/coq/user-contrib/Float/FArgReduct4.vo
/usr/lib/coq/user-contrib/Float/FIA64elem.vo
/usr/lib/coq/user-contrib/Float/FPred.vo
/usr/lib/coq/user-contrib/Float/FSucc.vo
/usr/lib/coq/user-contrib/Float/Fast2Diff.vo
/usr/lib/coq/user-contrib/Float/Fast2Sum.vo
/usr/lib/coq/user-contrib/Float/Faux.vo
/usr/lib/coq/user-contrib/Float/Fbound.vo
/usr/lib/coq/user-contrib/Float/FboundI.vo
/usr/lib/coq/user-contrib/Float/Fcomp.vo
/usr/lib/coq/user-contrib/Float/Fexp.vo
/usr/lib/coq/user-contrib/Float/Fexp2.vo
/usr/lib/coq/user-contrib/Float/FexpAdd.vo
/usr/lib/coq/user-contrib/Float/FexpDiv.vo
/usr/lib/coq/user-contrib/Float/FexpPlus.vo
/usr/lib/coq/user-contrib/Float/Finduct.vo
/usr/lib/coq/user-contrib/Float/Float.vo
/usr/lib/coq/user-contrib/Float/FmaEmul.vo
/usr/lib/coq/user-contrib/Float/FmaErr.vo
/usr/lib/coq/user-contrib/Float/FmaErr2.vo
/usr/lib/coq/user-contrib/Float/FmaErrApprox.vo
/usr/lib/coq/user-contrib/Float/FmaErrApprox2.vo
/usr/lib/coq/user-contrib/Float/Fmin.vo
/usr/lib/coq/user-contrib/Float/FminOp.vo
/usr/lib/coq/user-contrib/Float/Fnorm.vo
/usr/lib/coq/user-contrib/Float/FnormI.vo
/usr/lib/coq/user-contrib/Float/Fodd.vo
/usr/lib/coq/user-contrib/Float/Fop.vo
/usr/lib/coq/user-contrib/Float/Fprop.vo
/usr/lib/coq/user-contrib/Float/Fround.vo
/usr/lib/coq/user-contrib/Float/FroundDivSqrt.vo
/usr/lib/coq/user-contrib/Float/FroundMult.vo
/usr/lib/coq/user-contrib/Float/FroundPlus.vo
/usr/lib/coq/user-contrib/Float/FroundProp.vo
/usr/lib/coq/user-contrib/Float/Fsucc.vo
/usr/lib/coq/user-contrib/Float/MSB.vo
/usr/lib/coq/user-contrib/Float/MSBProp.vo
/usr/lib/coq/user-contrib/Float/MinOrMax.vo
/usr/lib/coq/user-contrib/Float/Option.vo
/usr/lib/coq/user-contrib/Float/Paux.vo
/usr/lib/coq/user-contrib/Float/PradixE.vo
/usr/lib/coq/user-contrib/Float/RND.vo
/usr/lib/coq/user-contrib/Float/Rpow.vo
/usr/lib/coq/user-contrib/Float/ThreeSum2.vo
/usr/lib/coq/user-contrib/Float/ThreeSumProps.vo
/usr/lib/coq/user-contrib/Float/TwoSum.vo
/usr/lib/coq/user-contrib/Float/Veltkamp.vo
/usr/lib/coq/user-contrib/Float/Zdivides.vo
/usr/lib/coq/user-contrib/Float/Zenum.vo
/usr/lib/coq/user-contrib/Float/discriminant.vo
/usr/lib/coq/user-contrib/Float/discriminant2.vo
/usr/lib/coq/user-contrib/Float/discriminant3.vo
/usr/lib/coq/user-contrib/Float/sTactic.vo
/usr/share/doc/libfloat-coq/changelog.Debian.gz
/usr/share/doc/libfloat-coq/copyright
/usr/share/doc/libfloat-coq/html/Float.AllFloat.html
/usr/share/doc/libfloat-coq/html/Float.Closest.html
/usr/share/doc/libfloat-coq/html/Float.Closest2Plus.html
/usr/share/doc/libfloat-coq/html/Float.Closest2Prop.html
/usr/share/doc/libfloat-coq/html/Float.ClosestMult.html
/usr/share/doc/libfloat-coq/html/Float.ClosestPlus.html
/usr/share/doc/libfloat-coq/html/Float.ClosestProp.html
/usr/share/doc/libfloat-coq/html/Float.Ct2.FboundI.html
/usr/share/doc/libfloat-coq/html/Float.Ct2.FnormI.html
/usr/share/doc/libfloat-coq/html/Float.Digit.html
/usr/share/doc/libfloat-coq/html/Float.Expansions.EFast2Sum.html
/usr/share/doc/libfloat-coq/html/Float.Expansions.Fast2Diff.html
/usr/share/doc/libfloat-coq/html/Float.Expansions.Fast2Sum.html
/usr/share/doc/libfloat-coq/html/Float.Expansions.Fexp.html
/usr/share/doc/libfloat-coq/html/Float.Expansions.Fexp2.html
/usr/share/doc/libfloat-coq/html/Float.Expansions.FexpAdd.html
/usr/share/doc/libfloat-coq/html/Float.Expansions.FexpDiv.html
/usr/share/doc/libfloat-coq/html/Float.Expansions.FexpPlus.html
/usr/share/doc/libfloat-coq/html/Float.Expansions.ThreeSum2.html
/usr/share/doc/libfloat-coq/html/Float.Expansions.ThreeSumProps.html
/usr/share/doc/libfloat-coq/html/Float.Expansions.TwoSum.html
/usr/share/doc/libfloat-coq/html/Float.FPred.html
/usr/share/doc/libfloat-coq/html/Float.FSucc.html
/usr/share/doc/libfloat-coq/html/Float.Faux.html
/usr/share/doc/libfloat-coq/html/Float.Fbound.html
/usr/share/doc/libfloat-coq/html/Float.Fcomp.html
/usr/share/doc/libfloat-coq/html/Float.Finduct.html
/usr/share/doc/libfloat-coq/html/Float.Float.html
/usr/share/doc/libfloat-coq/html/Float.Fmin.html
/usr/share/doc/libfloat-coq/html/Float.FnElem.Axpy.html
/usr/share/doc/libfloat-coq/html/Float.FnElem.DoubleRound.html
/usr/share/doc/libfloat-coq/html/Float.FnElem.FArgReduct.html
/usr/share/doc/libfloat-coq/html/Float.FnElem.FArgReduct2.html
/usr/share/doc/libfloat-coq/html/Float.FnElem.FArgReduct3.html
/usr/share/doc/libfloat-coq/html/Float.FnElem.FArgReduct4.html
/usr/share/doc/libfloat-coq/html/Float.FnElem.FIA64elem.html
/usr/share/doc/libfloat-coq/html/Float.FnElem.FmaErr.html
/usr/share/doc/libfloat-coq/html/Float.FnElem.FmaErr2.html
/usr/share/doc/libfloat-coq/html/Float.FnElem.FmaErrApprox.html
/usr/share/doc/libfloat-coq/html/Float.FnElem.FmaErrApprox2.html
/usr/share/doc/libfloat-coq/html/Float.FnElem.MinOrMax.html
/usr/share/doc/libfloat-coq/html/Float.Fnorm.html
/usr/share/doc/libfloat-coq/html/Float.Fodd.html
/usr/share/doc/libfloat-coq/html/Float.Fop.html
/usr/share/doc/libfloat-coq/html/Float.Fprop.html
/usr/share/doc/libfloat-coq/html/Float.Fround.html
/usr/share/doc/libfloat-coq/html/Float.FroundMult.html
/usr/share/doc/libfloat-coq/html/Float.FroundPlus.html
/usr/share/doc/libfloat-coq/html/Float.FroundProp.html
/usr/share/doc/libfloat-coq/html/Float.Fsucc.html
/usr/share/doc/libfloat-coq/html/Float.MSB.html
/usr/share/doc/libfloat-coq/html/Float.MSBProp.html
/usr/share/doc/libfloat-coq/html/Float.Option.html
/usr/share/doc/libfloat-coq/html/Float.Others.AlgoPredSucc.html
/usr/share/doc/libfloat-coq/html/Float.Others.DblRndOdd.html
/usr/share/doc/libfloat-coq/html/Float.Others.Dekker.html
/usr/share/doc/libfloat-coq/html/Float.Others.Divnk.html
/usr/share/doc/libfloat-coq/html/Float.Others.FmaEmul.html
/usr/share/doc/libfloat-coq/html/Float.Others.FminOp.html
/usr/share/doc/libfloat-coq/html/Float.Others.FroundDivSqrt.html
/usr/share/doc/libfloat-coq/html/Float.Others.PradixE.html
/usr/share/doc/libfloat-coq/html/Float.Others.Veltkamp.html
/usr/share/doc/libfloat-coq/html/Float.Others.discriminant.html
/usr/share/doc/libfloat-coq/html/Float.Others.discriminant2.html
/usr/share/doc/libfloat-coq/html/Float.Others.discriminant3.html
/usr/share/doc/libfloat-coq/html/Float.Paux.html
/usr/share/doc/libfloat-coq/html/Float.RND.html
/usr/share/doc/libfloat-coq/html/Float.Rpow.html
/usr/share/doc/libfloat-coq/html/Float.Zdivides.html
/usr/share/doc/libfloat-coq/html/Float.Zenum.html
/usr/share/doc/libfloat-coq/html/Float.sTactic.html
/usr/share/doc/libfloat-coq/html/coqdoc.css
/usr/share/doc/libfloat-coq/html/index.html
/usr/share/doc/libfloat-coq/html/toc.html

Changelog

2015-10-14 - Stéphane Glondu <glondu@debian.org>
coq-float (1:8.4-5) unstable; urgency=medium
* Recompile with OCaml 4.02.3
2014-07-30 - Stéphane Glondu <glondu@debian.org>
coq-float (1:8.4-4) unstable; urgency=medium
* Recompile with coq 8.4pl4
2014-01-20 - Stéphane Glondu <glondu@debian.org>
coq-float (1:8.4-3) unstable; urgency=medium
* Recompile with coq 8.4pl3
* Bump Standards-Version to 3.9.5 (no changes)
* Update Vcs-*
2013-12-07 - Stéphane Glondu <glondu@debian.org>
coq-float (1:8.4-2) unstable; urgency=low
* Recompile with OCaml 4.01.0
2013-05-08 - Stéphane Glondu <glondu@debian.org>
coq-float (1:8.4-1) unstable; urgency=low
* New upstream release
* Use format version 1.0 in debian/copyright
* Bump Standards-Version to 3.9.4
* Bump debhelper compat level to 9
2012-06-06 - Stéphane Glondu <glondu@debian.org>
coq-float (1:8.3pl1-4) unstable; urgency=low
* Recompile with camlp5 6.06 (no changes)
2012-03-30 - Stéphane Glondu <glondu@debian.org>
coq-float (1:8.3pl1-3) unstable; urgency=low
* Recompile with coq 8.3pl4 and camlp5 6.05 (no changes)
2012-03-06 - Stéphane Glondu <glondu@debian.org>
coq-float (1:8.3pl1-2) unstable; urgency=low
* Recompile with camlp5 6.04 (no changes)
2012-01-09 - Stéphane Glondu <glondu@debian.org>
coq-float (1:8.3pl1-1) unstable; urgency=low
* New upstream release
- remove all patches (applied upstream)
2011-12-25 - Stéphane Glondu <glondu@debian.org>
coq-float (1:8.2-1.2-9) unstable; urgency=low
* Rebuild with Coq 8.3pl3 (no source changes)

See Also

Package Description
libflorence-1.0-1_0.6.3-1.2_i386.deb extensible and scalable virtual keyboard for X
libflorence-1.0-dev_0.6.3-1.2_i386.deb extensible and scalable virtual keyboard for X
libflorist2018-dev_2017-5_i386.deb POSIX.5 Ada interface to operating system services: development
libflorist2018_2017-5_i386.deb POSIX.5 Ada interface to operating system services: shared library
libflowcanvas-dev_0.7.1+dfsg0-0.4_i386.deb interactive widget for “boxes and lines” environments - header files
libflowcanvas5v5_0.7.1+dfsg0-0.4_i386.deb interactive widget for “boxes and lines” environments
libfltk-cairo1.3_1.3.4-7_i386.deb Fast Light Toolkit - Cairo rendering layer support
libfltk-forms1.3_1.3.4-7_i386.deb Fast Light Toolkit - Forms compatibility layer support
libfltk-gl1.3_1.3.4-7_i386.deb Fast Light Toolkit - OpenGL rendering support
libfltk-images1.3_1.3.4-7_i386.deb Fast Light Toolkit - image loading support
libfltk1.1-dev_1.1.10-25_i386.deb Fast Light Toolkit - development files
libfltk1.1_1.1.10-25_i386.deb Fast Light Toolkit - shared libraries
libfltk1.3-compat-headers_1.3.4-7_all.deb Fast Light Toolkit - compatibility header symlinks
libfltk1.3-dev_1.3.4-7_i386.deb Fast Light Toolkit - development files
libfltk1.3_1.3.4-7_i386.deb Fast Light Toolkit - main shared library
Advertisement
Advertisement