Installion's Lion Logo

Installion.co.uk

How To Install libfloat-coq On Debian 8

To install libfloat-coq just follow these instructions.

Install libfloat-coq

Coq library on floating-point arithmeticDebian 8.0math1:8.4-4
sudo apt-get install libfloat-coq

Which will install libfloat-coq and any other packages on which it depends.

Package Data

Packagelibfloat-coq
Version1:8.4-4
MaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Home pagehttp://lipforge.ens-lyon.fr/www/pff/
DescriptionCoq library on floating-point arithmetic
Distrodebian
Releasejessie
Repomain
Sectionmath

Dependencies