-----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 Uploaders: Samuel Mimram , Stéphane Glondu 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-----