-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-float
Binary: libfloat-coq
Architecture: all
Version: 1:8.3pl1-4
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
 5f51652908c8bb469cacdf721777943f520cf54e 3314 coq-float_8.3pl1-4.debian.tar.gz
Checksums-Sha256: 
 f56ee9c5c1b7ec3fba4299f80b01eafd76a1225a2235050083a1b72c539844b0 359738 coq-float_8.3pl1.orig.tar.gz
 9f87c4f1841025baa621974200a3984d7fe2a0d28de45d07a3483100470b726f 3314 coq-float_8.3pl1-4.debian.tar.gz
Files: 
 155de5063ffb8296a0bcb219c4eb99b3 359738 coq-float_8.3pl1.orig.tar.gz
 3ae8dac3034dd9a27b105140360bbc05 3314 coq-float_8.3pl1-4.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBCgAGBQJPz8uNAAoJEHhT2k1JiBrTMn4P/3xavyC5ZqDgwhyHus37tTlZ
soS0eCOXyBfXVzocs6H5ArkKXCjlL6vH/C0mzISoZpBXxp2Le3wrHUhNl2SH/qz1
pnH5j4o66rpA3iiZ68JODZ+8a8wT82Y96v1piQvKZNa1pJb9RTVvX07ZWEu/+CkZ
9h8ObS6hupbNl7r6v4R32Y1zRwJoFE77OIl5OB7vKOzdTe2OFR5CDGpFxs1lV10G
HGB0uCkY0YtBH1eG9GJhYw/oXogGGDvFG5TOeW0hCQzcZ3+Y8yGiDHwfAlIG478R
bW9ifs3RtZipjOmA98ZGaIEMCilx6Ysd3id5jz7SZfyrb+J52VxnDJpeu33SQwh5
3OsiLiD2u+7A5TUT4CvJYJZfeYHTiIUbkxDER42MaVIPwpKgZSLv8YZ+OxeNwXSE
mBByk1TykR5b/Z2b8IkcL7fjo6afOzVKMz4HReCFHkNhWXCk+WuWTnu/CoeANKgI
R7mwmajENXTu/qixQ729bcdIOq/x28tirn1Zvn13DGrR4M/ZtoURIT98H82iQZMm
Ua8oLIr3ZHrIPufsmPB8J4ElNXDvcqUDupq1yw06OFaXVxKBMqRLFr3B1ZbK+WDW
sTRA+PCCKc3Y5c2UXcCahB0sC4kFO5A7tSB5Z3sgER2SP05w9sLbYLcrhZqK7jS1
hqzB3dahn9DW6E8/AtDg
=ZiJq
-----END PGP SIGNATURE-----