-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 19 Apr 2011 22:30:18 +0200 Source: coq-float Binary: libfloat-coq Architecture: source all Version: 1:8.2-1.2-7 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Description: libfloat-coq - Coq library on floating-point arithmetic Changes: coq-float (1:8.2-1.2-7) unstable; urgency=low . * Add patch to fix build with Coq 8.3 * Bump Standards-Version to 3.9.1 (no changes) Checksums-Sha1: 9f6fae2533349a6c573c8b754c2b812bc2aa75eb 1974 coq-float_8.2-1.2-7.dsc a395fc046b42b9a8e35e13b13f19dafc6f4517dd 3492 coq-float_8.2-1.2-7.debian.tar.gz ff6ff735385a1322b890e60bfdd0ea2d44c87320 13914060 libfloat-coq_8.2-1.2-7_all.deb Checksums-Sha256: 32005509de63d7b0b4e0a9634bf57a9cf558fc8cdf81ebca7ff620230118d353 1974 coq-float_8.2-1.2-7.dsc 5d442618f0f26caae04a05f7eaf8d4e5b2d6a5ac2f0f00d0ac54318747fb9e16 3492 coq-float_8.2-1.2-7.debian.tar.gz 4c7ca6ef12cdf7c75412894071a41eb40f8c890a4c26af0f8cbfec6fecb85220 13914060 libfloat-coq_8.2-1.2-7_all.deb Files: ec4067a21138bb29231a5208e77677b2 1974 math optional coq-float_8.2-1.2-7.dsc 113823040b3e6994e6a9943f75d93855 3492 math optional coq-float_8.2-1.2-7.debian.tar.gz 0a868d685f9a860f4cc40e268e5efd95 13914060 math optional libfloat-coq_8.2-1.2-7_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCgAGBQJNrvPCAAoJEHhT2k1JiBrTkVYQAJTYdfTwceYr9zWj3dSkBDXO k7dzdBu9qaCQI523arr2NCwybC4fUJtHCl7M56i+0E0+ynqMhmO9VELNqokNzb17 KTtAQ9FiTWH/k4nTBHmjAFTcAFuMG9TnsBc++Q6WQ+5gTV8ijzqL4YB/fnOseFlp gnpbFLd2h4I9aknyGviXwp/k6xPIRuQdK5iBMRLITcN39wFi6ihg25eJkVb9iUZ5 wzeQt8IkOZKS+DM03NiK4rXmPVTTYkFzm6NzvdQT9aMEOveDBwWGii4JoiekV7XO VWuWNMB71fUS1aHxZxkYJ1WFmUB2d5BVrp/h7XIbtRi4uqzuoWxNV+opzueuLbJe YCG5+uwI06fGh8typqOfnPOk7xwp3jDZodjg1LDRwWmzOKqo9r8VEhNIJE3sEsSb NcDCEhKIJsttw8VQ1+0j9vjAvQ+0EPhzgtpq4WzFCsOG8JOVTS2Mm/RkdKgLOiDP jkYkyCDjN6LOiLXPlMb/+QAzgqlYbWaDPEUf5zUlb5ov4/WyreyoEVxp19+yHxML JGzzvHwCsDEEM1PvYYyfKPJok6YCvxPRfNiwbE/OLaMIJzMM/OG86uEn3ty79laL K40xc2/JE+VFDYYMY42y116YmfMP7Z1t2J9xr5w/qpGllyjMnedHRPhwZz0HbY0P qdQq+Ozjy/Nvgz8Ob+JX =fRWP -----END PGP SIGNATURE----- Accepted: coq-float_8.2-1.2-7.debian.tar.gz to main/c/coq-float/coq-float_8.2-1.2-7.debian.tar.gz coq-float_8.2-1.2-7.dsc to main/c/coq-float/coq-float_8.2-1.2-7.dsc libfloat-coq_8.2-1.2-7_all.deb to main/c/coq-float/libfloat-coq_8.2-1.2-7_all.deb
