Package: libfloat-coq
Priority: optional
Section: universe/libdevel
Installed-Size: 63522
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-5build1
Depends: coq-8.4pl4+4.02.3
Filename: pool/universe/c/coq-float/libfloat-coq_8.4-5build1_all.deb
Size: 11448212
MD5sum: a5f0ab56506aa9013eb4b0f906cee4cb
SHA1: 1af1cab7739f096739ccc9f34fe6e27ddaa18e2a
SHA256: 3ac18f04deb361a6f18b6bd5745a8b0c9939696b599aeae54d7b983fe20b4210
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