Accepted coq-float 1:8.3pl1-3 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 30 Mar 2012 08:06:29 +0200
Source: coq-float
Binary: libfloat-coq
Architecture: source all
Version: 1:8.3pl1-3
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.3pl1-3) unstable; urgency=low
.
* Recompile with coq 8.3pl4 and camlp5 6.05 (no changes)
Checksums-Sha1:
6cf817f1777615c8f56d4dd0a8181edf17aa0b55 2014 coq-float_8.3pl1-3.dsc
619773f7d2a20a64e79d897d10be89901883226e 3300 coq-float_8.3pl1-3.debian.tar.gz
d24d1e613c7c7b226dc32705a5f444fb263b2bcf 16638052 libfloat-coq_8.3pl1-3_all.deb
Checksums-Sha256:
00b67b0e634fbaed4160a83d90ae0703cb26d16c9a87df34277cc758437f4125 2014 coq-float_8.3pl1-3.dsc
3eb9aa92ba7a6bc9698a4f5f0f13076de02a45cb87df82bd40312266b6b9b7aa 3300 coq-float_8.3pl1-3.debian.tar.gz
dcfcc2943c0d158e2d568254249bfe25418e2ba7ea142a2dc294240d3d4315d4 16638052 libfloat-coq_8.3pl1-3_all.deb
Files:
79fe988052f79edc9ac0a18fdf29835e 2014 math optional coq-float_8.3pl1-3.dsc
4f550accb336e2afd65fa358b2eb054f 3300 math optional coq-float_8.3pl1-3.debian.tar.gz
8388d73dc904d16a96354caaff1daffe 16638052 math optional libfloat-coq_8.3pl1-3_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJPdVboAAoJEHhT2k1JiBrTM40P/RzBNCSMO/fZivDR8PZYbC4+
HnRYS8+4Hc4NjZOL5W8BIfS7xe7pAEgpVOPnIjkqbTsk/LPvI2CRClL0gCuhPwwP
jgZkL/Qo/vTwiEiVXbDLSqC00n1cdw/9dFnm/I+zHhTgm9US3Vqfe8NEFylpoXrD
zVBccJLSHo7UtH4sb1HvG1OzrNc1Y8VQDo6wSs+bTcSrR5HUKDQa4xiGJEVqyFd+
5dPgQfi+VEDAMcjDKh8n8Z1e2pLScBTLvt1yBqWAaP1BRf4EC7zWezy/E6s29hSE
cQrEziBC9WLznzhZgRFo7B5Joa0PN3B7pdg7I6mTB41k9+WnPxXIv/BRO5asITeL
htRSgUzN+DTwGE1DARBdNzJAVGz7MhEUUhGg78gHAnvcFVKwpHnb60ZkrSxIpdek
2+/5PWD+kFrAPUdrJ8qbM5X7H0q/ojxMtvu29OuG8PwL3tGDRqw0u6mKwETDlpx9
3VDGzKEqYYXqE6bQRJBjgGiL42me3h93M0pghPn7W+d7wxTzb1s11Mbr56aq35q9
i0My8cCRxUBGa/KaDcXvxBHg8bYZM2+NjebyfcbPciu6DnYt+tuTjX1Oooi5+CdC
bmrw77qrsk4usiD8yoG+JSqYNF89x4PS+yOfoc12NiQM+vQIWeBUBTTeO6cZuq6y
Fq0GeNggs6IB7+vWvu0b
=9Rcy
-----END PGP SIGNATURE-----
Accepted:
coq-float_8.3pl1-3.debian.tar.gz
to main/c/coq-float/coq-float_8.3pl1-3.debian.tar.gz
coq-float_8.3pl1-3.dsc
to main/c/coq-float/coq-float_8.3pl1-3.dsc
libfloat-coq_8.3pl1-3_all.deb
to main/c/coq-float/libfloat-coq_8.3pl1-3_all.deb
Reply to: