Back to coq-float PTS page

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