Accepted coq-float 1:8.2-1.2-7 (source all)
-----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