Format: 3.0 (quilt)
Source: coq-float
Binary: libfloat-coq
Architecture: all
Version: 1:8.3pl1-4.10.201403180929
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Samuel Mimram <smimram@debian.org>, Stéphane Glondu <glondu@debian.org>
Homepage: http://lipforge.ens-lyon.fr/www/pff/
Standards-Version: 3.9.2
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq-float.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq-float.git
Build-Depends: debhelper (>= 7.0.50~), coq (>= 8.3)
Package-List: 
 libfloat-coq deb math optional
Checksums-Sha1: 
 04e24664787b7f7a8a674eaec763171e20b38b47 359738 coq-float_8.3pl1.orig.tar.gz
 9acd8ea7827af9275c2bdd93b5de2e23ee521922 3434 coq-float_8.3pl1-4.10.201403180929.debian.tar.gz
Checksums-Sha256: 
 f56ee9c5c1b7ec3fba4299f80b01eafd76a1225a2235050083a1b72c539844b0 359738 coq-float_8.3pl1.orig.tar.gz
 6fe9ad7ca5555cbbfbc18f5e0c4743616f51426965d38fa92ff8045670061d29 3434 coq-float_8.3pl1-4.10.201403180929.debian.tar.gz
Files: 
 155de5063ffb8296a0bcb219c4eb99b3 359738 coq-float_8.3pl1.orig.tar.gz
 4223d3c1fe29bec64427596bded5c026 3434 coq-float_8.3pl1-4.10.201403180929.debian.tar.gz