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

Format: 3.0 (quilt)
Source: coq-float
Binary: libfloat-coq
Architecture: all
Version: 1:8.4-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.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
 923aa34d7bcab42725f4e89a353924a31d99ba28 3364 coq-float_8.4-4.debian.tar.xz
Checksums-Sha256:
 3436b4521ac8bb24850920f404994579174f5b20d1178d48dbd686ec109ef27c 352313 coq-float_8.4.orig.tar.gz
 f7f1eecbab88af55814d83c17db20703f21ae7f0b7dd1aee8eb1ceea6ddeb3c8 3364 coq-float_8.4-4.debian.tar.xz
Files:
 bbc569bda4d468842d508cbeb4cd6d0c 352313 coq-float_8.4.orig.tar.gz
 39f5e0ccd58de00d7f10f054cb2cbd57 3364 coq-float_8.4-4.debian.tar.xz

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

iQIcBAEBCgAGBQJT2KktAAoJEHhT2k1JiBrTzOUP/0wMScJRzrtI5yCBvECIkmA8
/La1CEEMckAHiuTjq+tju5bllnROr2dFEvuCBvU7+zPluEZtQWQkxXy5VmfWREVH
dm74e0IRl4YrHsZmUYKLVjyFZdqMM0Kx8AMoJQe4cBhQkrRZ/pdAxM0rkORFTaVE
sMIPTXoruQOi2CtOi+jRJbSKzAfWjZSAHlYAfgeYyMpkTU2KnF8jveffgf4Aj+kh
kIWfV0SivJfu5D8NI9gh/dW1khhAmTDv3BOJm+Q4lOY+XzircA1yJ53dTyR8A3JR
QACdSVUnGcYrWaTvfAhdKmVjLIdNakfJoRCpj61B0N6TDOjitey2UPNWnUspjV3s
jwM3CUhfwflE5rIPEft8O8ryPiI7I3po0bbYd4jO9cG53Uj0Z1LOtYvqRf9HDrh5
8pAAVFi1A7zZhBze/HahU17ZjbY+gusLBmBZbnq+9RCph0OZUJI+/kJFYQBqO7ut
cW+iXoAFbh7XsXxXYraUK4tJ2OK8x3WjgD7R4WtnXW9WpXLcZBH1v83W0LMxizBB
lKMdz2k2T8DKcuxKL9qYkwENwrXn7oIflFkCDTGkcLwuhdT6UQ6mAY6Icn+gSMmh
pBkyTMHTxVyxScD56sMCYrwyO4HqOu2dPvDFoSUI2V5fjwrQ3Rv87NDDUCfKDUdx
UJ6pdRnQMBioKlqd/32I
=B4Hp
-----END PGP SIGNATURE-----