Package: libfloat-coq
Priority: optional
Section: universe/libdevel
Installed-Size: 63482
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: all
Source: coq-float
Version: 1:8.4-3
Depends: coq-8.4pl3+4.01.0
Filename: pool/universe/c/coq-float/libfloat-coq_8.4-3_all.deb
Size: 11436338
MD5sum: f759178a2b1a12d51b9a536e1b1b4b92
SHA1: 4be466bcd407f6dcefb0fc5b0638886a89d1a2af
SHA256: 77f16ff7741263145e049a844d2b57fe88e2b9050ba2d8e200d87474c806c816
Description: Coq library on floating-point arithmetic
Homepage: http://lipforge.ens-lyon.fr/www/pff/
Description-md5: f850275d0bfd31acbb9a4ed726a7b44d
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu