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

Format: 1.0
Source: coq-float
Binary: libfloat-coq
Architecture: all
Version: 1:8.2-1.2-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.8.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 (>= 7.0.50~), coq (>= 8.2)
Checksums-Sha1: 
 ab9b01cf953e32c100ed21e9980adf68553aaed1 322949 coq-float_8.2-1.2.orig.tar.gz
 6b11443b53431c9b12b976d6c24b973d530e0476 2744 coq-float_8.2-1.2-4.diff.gz
Checksums-Sha256: 
 df61debf5afb2cbf44be6a605622b1645ba07be1912bb154ef79009d7eb235b2 322949 coq-float_8.2-1.2.orig.tar.gz
 5f6ac1038590627203c1f93b6a66135fe081e0258f4983c079dcfaeeca847353 2744 coq-float_8.2-1.2-4.diff.gz
Files: 
 3b565c527a3af70a062ed77cf82a4848 322949 coq-float_8.2-1.2.orig.tar.gz
 e9a0cd9099d95a302685c3485d436b54 2744 coq-float_8.2-1.2-4.diff.gz

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

iQIcBAEBCgAGBQJLcyLqAAoJEHhT2k1JiBrTag4P/1xp2UuIro9+33ppxSYi5vrK
LZEl8uCyGQsgl8jx7YJ0h2O1AJ0Sz9hiDyWAWXNCUyhmZgKLxSaA5w1WDVixgFE2
QWOl9rXg/8ff6uSXowRm1YFqkt/Cq6jrpzQc4RJNbPaMkFTh2IGEanilymyBT1I4
A2W/02qCPsEvRmchAA1+rqeLMyYizO0u6BrlvrWz7YXbbSiv1/l3k80pfr/RQ7eT
Y8v4RohkQpRcHQkLndXoHeXwBoZLnYMhxccwbHs7K8waOlxKOf80QJtOCHL6YLy6
XWTnPpr8NJRRHDozfqa7TOlXPxEh9NEy+FSCQzug8cEcNTdReZQg1S5hs5YmAbyL
yCe0gjqq9kIcHk7xIwgiu2PI5flDiQSwgE1nByaJctkot+d2f3RwdPIU32ZiiXQ3
fYEj1AF9/KWBH8hdRz1BwuRBnRiINk7MQKrEsxYfMPtin+6FMF3gmn2Spwtadr4M
861Q+BiQ8dra248sRXt/SXAgnN0QV9iRnSDwoH1C+BeDOZpE/bF735VqpUD25bWJ
8WiHlZViin9pc47xiz2/rcPfG1YG8CnU6+p/7DJ/vVGCcQ+kWDCp5fQPZJz1FtTl
Zi9iKlTgkQpy0QwnXu+GAlWJvgeNGym4rNhUHixIooikxB+vm6uxq981lHUtlMnk
Yz64EH8Wi+3R68Zv7x/1
=XK71
-----END PGP SIGNATURE-----