-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-float
Binary: libfloat-coq
Architecture: all
Version: 1:8.4-5b1
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
 f3cd6f50a1e96fa54da29f2824f36a6b36ee8a4a 3432 coq-float_8.4-5b1.debian.tar.xz
Checksums-Sha256:
 3436b4521ac8bb24850920f404994579174f5b20d1178d48dbd686ec109ef27c 352313 coq-float_8.4.orig.tar.gz
 f44050dd1c73519d8fcb36bf8f799f8317ddc16dead6134000766c9eeae47fa9 3432 coq-float_8.4-5b1.debian.tar.xz
Files:
 bbc569bda4d468842d508cbeb4cd6d0c 352313 coq-float_8.4.orig.tar.gz
 5eb984c47b17e751805075278d33cd09 3432 coq-float_8.4-5b1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJXbT2zAAoJEKBN28suwKn/u+AQAIUFALAzW0b9PJVtS51xkH7i
yjyp4vsLRATbQre+QWSYPMamDOWGFLVarU8JQBsOSNUHyZC04LFbflrfBSEBGnyo
gxr2Agjs9zC2Xobgca+C7KxoaXroo4f23UmHI22138Jfuk0qo2Jfv6mpHeqVcQ7x
45oEUR44BQfp6XvPeJB7/4hWbyLJul8zdRsvWIXauFsKcwvMLrp2j0VK1Dczh604
FA3/gJhOEDmeJie4pZctTsVJOFE6jhB5DXyjoWpVg/8yCLsION4eII2iKdFPhhL9
nf9bGeasgkXQk6UnbGrZhcS9rWYE4fMfPUMTtPwOeot9o0HUr5NhgT8m1OUBLku0
u/ZNYtjb5C2VlCkOJ4sUpJpiIV3IVuywbL/pJLcyyZTrf/u9xKkbPsxCLBmhLB4K
O5J8eUw9NHjkBGJzFN/J0h7IlNenBTFtb4a2fFX+3f0XYBZtaspSPXSfPWcqeItl
tuID7FzxUJzmUbEzgY5RuM7qxQtt9CPsDrqfeQUOF0Yv2GQDkStkpafsUI59mgwO
snL+TmOettIVheqa+u+MAqPMogHQoAWrfbUGicvXGBbkOvscRvLA2lkoycCctwhy
2c4Y1Ho27gmHx8RDaX7MHZTCDGniIqNODwOjG9kLeu8WI4X6nCjeleTDoQOYOVyl
byMXveFrO0QzmHxwwveF
=4wx9
-----END PGP SIGNATURE-----