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

Format: 3.0 (quilt)
Source: coq-float
Binary: libfloat-coq
Architecture: all
Version: 1:8.4-5build1
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.5
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/coq-float.git
Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/coq-float.git
Build-Depends: debhelper (>= 9), coq (>= 8.4)
Package-List:
 libfloat-coq deb math optional arch=all
Checksums-Sha1:
 9ac6debf21e408325b0e8931d9c3dd1b25f653e1 352313 coq-float_8.4.orig.tar.gz
 8832281bc25aa6599a7b5aa89c73f962f8c957c1 3424 coq-float_8.4-5build1.debian.tar.xz
Checksums-Sha256:
 3436b4521ac8bb24850920f404994579174f5b20d1178d48dbd686ec109ef27c 352313 coq-float_8.4.orig.tar.gz
 f0e6ba2ae96fd132620d3dd9336080d62f1d91fa9a0518204693e8a3efc813ed 3424 coq-float_8.4-5build1.debian.tar.xz
Files:
 bbc569bda4d468842d508cbeb4cd6d0c 352313 coq-float_8.4.orig.tar.gz
 b370e2ea6aea606021917c8d85ca6009 3424 coq-float_8.4-5build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJWOiMRAAoJEONS1cUcUEHU8xwP+QGpbTFshJa8IOQAZkGn4saj
Nyr5ERHnK+YDeitvmk+0INQ60uTDEiGtvsq37Ssf6plyuWINfdfDTowOXXlOi6Ev
jGJ1fzkNEuWc3n1pj56oe89FX+38M8asorKNnVFCd5yJ5vVeeMv4yKtmiRdD0o2K
g47G6+Vq0LxdJLe/tLmlcelPHivaoRBNsyJTYwmdmdyoOfQrl+xO6NYgeqpbUDlP
KCLmdQibaDjM7C7orybfH/TqyCjjJJgKPp+A2lNEHyhiDxe5Mey83Fgo+C3uwiI5
railYan95bewqfN7NyMzE9xNmIzN6hhWmtnGU7Aez12APAS86i4h5SOCG4hTTP7T
j2RyV62KfGal/t/87nh8AlrCqr/gOg6ytFMrmJeOw3TqrCbsyYLOeTcO5FNDJeXd
cc/iXZgBGeQfVCXaWDn7XEitAQrCGurB086YSepEdka9BZSTNBP6ps4Oqk3qPNNV
Ss6ciDu93nAI2urZQi1BtPou5E8owQjEjvzGJkKN8Iqws1EU93iXIzUvat+8M4kW
Z7K3en7MCTIrl5VmAyA2k/8tTdvjanImlqxC9a6ru7r4dllcnYMFqdVggk+W6nqP
xbOLKtsfe7Xj8T4iKo+zzgsNm9Mms6IHB03r9fo84vZ0F+fIUoLoIO1y9W7MY0Qd
xhmfb4YraFHsquD/IT3P
=rl+u
-----END PGP SIGNATURE-----