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

Format: 3.0 (quilt)
Source: coq-float
Binary: libfloat-coq
Architecture: all
Version: 1:8.2-1.2-7
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.1
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)
Checksums-Sha1: 
 ab9b01cf953e32c100ed21e9980adf68553aaed1 322949 coq-float_8.2-1.2.orig.tar.gz
 a395fc046b42b9a8e35e13b13f19dafc6f4517dd 3492 coq-float_8.2-1.2-7.debian.tar.gz
Checksums-Sha256: 
 df61debf5afb2cbf44be6a605622b1645ba07be1912bb154ef79009d7eb235b2 322949 coq-float_8.2-1.2.orig.tar.gz
 5d442618f0f26caae04a05f7eaf8d4e5b2d6a5ac2f0f00d0ac54318747fb9e16 3492 coq-float_8.2-1.2-7.debian.tar.gz
Files: 
 3b565c527a3af70a062ed77cf82a4848 322949 coq-float_8.2-1.2.orig.tar.gz
 113823040b3e6994e6a9943f75d93855 3492 coq-float_8.2-1.2-7.debian.tar.gz

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

iQIcBAEBCgAGBQJNrvMjAAoJEHhT2k1JiBrTk+IP/288vlZaZ6moaGWDaEmMuYBr
cqxMmZeR97zurkGp+QDyaZCEDezbGYbH39i/xH2i0TdXNjf8E89/nM/oFbzXLAs8
ZBfWppZKiQnhCVCP9FWTroXyBfCDyJD+wJgI9qpAyveHPY3YEzpuKYtDdwMNUVKD
xCqDaoLjM8DJxJm0PjtAWSy8vvWR7GBO+7VPgRzlZBO/z1b1sUGWUGe3gRu8a2Wm
7lm++SMXwV0HgF3YuDmUwKUU9IE5YqWpyIOqAJmpIGHsrFHZqNslodEn+7aYDbeU
ujtUz4X2hEQOvlayeWjqBsYKfSJgd26MB1uGq/ncoIWro7VIHP+hOjTJb2ffEPF9
Oh61ZMHTmA3zOYFFhvSyvnNNmevuq++DAW0Jnnwpq9e330aanVvGIwtxDYiJRDEV
l+uaWIGN1zU0PRV8488Xymvh0XE83FbwVogopz467kgvI9nAAuWYIlf/ldg6Ei/8
WROMmZEkOirRyc+mlwo4dMu7XHwJOFIPhtB0Z2pWYpiXRnuIvl4BJ/v/2nFnc7qO
VYl+Y8vO5O8O5XAr3kQc48XpcjhjKYap9AJYd4d52sznPusLOBtgR4TxuSSTXbHm
mH0NwE6YnlFJdC75CoS295K/TqWKAIF2QpmFEzcX2bHny/9gQ9e1mVZCok8xtUqj
wnND2Fib31QWapiWL4Vc
=i1wU
-----END PGP SIGNATURE-----