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