Package: libfloat-coq Priority: optional Section: universe/libdevel Installed-Size: 62286 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.2-1.2-9 Depends: coq-8.3pl3+3.12.1 Filename: pool/universe/c/coq-float/libfloat-coq_8.2-1.2-9_all.deb Size: 13989620 MD5sum: 1100de583979a25efc59512cd6355ede SHA1: 6a5a449125cd50b0f5767c1b608b14b5549721c6 SHA256: a16a3beb59946071522d7bca831ad1622bd17e9586b7951c478899aac2bf7619 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