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

Format: 3.0 (quilt)
Source: coq-float
Binary: libfloat-coq
Architecture: all
Version: 1:8.2-1.2-5
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.0
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
 7171ea3e14ac2ebb49270b49e527e8d45fd45832 3053 coq-float_8.2-1.2-5.debian.tar.gz
Checksums-Sha256: 
 df61debf5afb2cbf44be6a605622b1645ba07be1912bb154ef79009d7eb235b2 322949 coq-float_8.2-1.2.orig.tar.gz
 68e4a42e8b830f76289b8f41a564643b53ab3ab21913b9ec6023ba5262a363c0 3053 coq-float_8.2-1.2-5.debian.tar.gz
Files: 
 3b565c527a3af70a062ed77cf82a4848 322949 coq-float_8.2-1.2.orig.tar.gz
 56ae57d10f68c1034f807823b623798c 3053 coq-float_8.2-1.2-5.debian.tar.gz

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

iQIcBAEBCgAGBQJML0ohAAoJEHhT2k1JiBrTuywP/2YyLGmuOmJsfC5hLewyRVEd
KjW2PnwFoe34aBcrx1d2nyeE8yBdISEWLES1JVTNGEtdnltk7/TsM2YAuu56WEUT
EsyED7+KE7Bs8J9gK7A+TEFDxWwimy2X3xuZws5iBHZuH8tNHdARI1u6GVtikR0S
7Zo7VNmSOBuxk8GJR3nqeUrrUnvXz4KtKA8a5Pu2jhl7RM/qgraFFX3qqkElhZhB
kg8x807ffeMBfk2dle+1x2HnaypYBgLK59wkN0xk/J4m2ev792K3NpSicu4wQ/Ip
22Z/YFcoUMEzw3u6M5iHzARvk7W9NQwmDk+StttrzLe6C9B4FwCVozj37KGNOIvn
w6apAfAWjV2AGgzK5hTN+S05WM7jrHwG2tMtdRLh6N7mtb2qQjCjYS9yMWKFD0WU
10MUBxlYVFMCGttEwahv9bB6Jlj1go9MwcWrzXkmGctLVVQ5i3u/b43fVilH1j/r
pqEmQ1VMRWA1yDXtReDMGuajYm8zkN4vYbBkc473lNn5arsYl/Yi73awGU4omQu2
t/VynIXDJZ0BlMmDfgd/YF3nQ9TxjfSt3viUkOp/wxYRAAEoBUFe8ToU3XKMtZp7
3efSt05I7rUkH4DZt2YqvQuNSS0qdrd2ELgnrMCb9BAAXrYBkilOnkZ6jcUCONIA
OfiB67jKVKztumr+tTMV
=MNI3
-----END PGP SIGNATURE-----