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

Format: 3.0 (quilt)
Source: coq-float
Binary: libfloat-coq
Architecture: all
Version: 1:8.4-1
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.4
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 (>= 9), coq (>= 8.4)
Package-List: 
 libfloat-coq deb math optional
Checksums-Sha1: 
 9ac6debf21e408325b0e8931d9c3dd1b25f653e1 352313 coq-float_8.4.orig.tar.gz
 6437fc66fe28856391a974c66927d8f9e1c31432 3371 coq-float_8.4-1.debian.tar.gz
Checksums-Sha256: 
 3436b4521ac8bb24850920f404994579174f5b20d1178d48dbd686ec109ef27c 352313 coq-float_8.4.orig.tar.gz
 ddca7d0e89261965e37d843ccda93fd137dd7d7b56f68e62c98837ce8a3d8eb7 3371 coq-float_8.4-1.debian.tar.gz
Files: 
 bbc569bda4d468842d508cbeb4cd6d0c 352313 coq-float_8.4.orig.tar.gz
 4f4218aeca92ab84cbb0276e4526dcbc 3371 coq-float_8.4-1.debian.tar.gz

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

iQIcBAEBCgAGBQJRitZ7AAoJEHhT2k1JiBrT9bEP+wVxjPsKy9KwE985auuWdWmL
tKBzdWlugjnoo0D3CDasfqgruuQzrb5vKP5wm2wbL01vkJtCDmKfi64ZsSiiPYOg
uj3NHVn30oJchyhshBM0KA4UUlf9Sx2383TyCORKgEJZXP78L0onygIgqyULcau1
quPSHbH0b3yMTPlzqSfLVILjx81yiP/PHPz6wffcVfWEZKBH6eER/VF/tvlBGvbr
5Xzd37bxViRr3rzLloddWK2Uf1Bx8URamx28EFXFZUc/pJrTbPRbr93g4xe6Iuqr
MGBeBVOz1aVHImgr9X8c+AdmyrR2NF/mFpOlF9PahZsuz+P+2TJAkTLN+7bJHMfJ
91nTpi3b+NX+5jTasWyCXQAYXXC2lCPqhbH15yHiDA7gTt4/ZVKEOG6FA+7PrTBS
gAugHitG7QgqV/LwX4uNMMrBF1QpLHfTkKm7clUNazrtJOXM4IXjPm4QGZGTLO5q
9lmadenfEGwpK0wt2Ym9L+ktptVMEmYaqlcpK1dxO7jBNr32C24cBRV3FcKLeQFj
DvsPpIg4pKOmNxKKSBa3XfH/+7eX7Hb0eIOEpH34PJAPMM/ZP1HL7/tNMoFlstJO
HN1wCf3FXZnBnuBHzsn7OYULLtSCxfBjgr29LQtGKka0Q/TASmmMXNkk1Fy64auD
ofMBjhPX11Srj0MHqvEu
=1DN7
-----END PGP SIGNATURE-----