Accepted coq-float 1:8.3pl1-2 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 06 Mar 2012 08:30:25 +0100
Source: coq-float
Binary: libfloat-coq
Architecture: source all
Version: 1:8.3pl1-2
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-2) unstable; urgency=low
.
* Recompile with camlp5 6.04 (no changes)
Checksums-Sha1:
c332ab4279c71193d8a092495a37e50b0a25d4e9 2014 coq-float_8.3pl1-2.dsc
7649f57124f9a2643a4698731f6d006bf8ced644 3262 coq-float_8.3pl1-2.debian.tar.gz
a24e53eb87cc2654a12879aaae1c6c589886a9be 16637624 libfloat-coq_8.3pl1-2_all.deb
Checksums-Sha256:
64fc74edee88abfe323a590b0ebaaa20d3076e2ace330a82f1318b0cebefe348 2014 coq-float_8.3pl1-2.dsc
639898a7df238967542df39450f74100e7a361c84f1034f6498fcb4fd9b03e3f 3262 coq-float_8.3pl1-2.debian.tar.gz
108e827734e9e49b1a14b69dd21f59a057e05729ece4472c8383128fb9ffec75 16637624 libfloat-coq_8.3pl1-2_all.deb
Files:
c4950370684bfe023decd66b73a42e47 2014 math optional coq-float_8.3pl1-2.dsc
3b77ef8f6176b5842f4a9b860a71bf95 3262 math optional coq-float_8.3pl1-2.debian.tar.gz
195df8251f6cb212f9b855ed86a25c0b 16637624 math optional libfloat-coq_8.3pl1-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJPVczEAAoJEHhT2k1JiBrTKGUP/0MuoI9GB9wHrwmNKPXJGBIh
c8gaREAjF71dEwtdyNqx/ZvSuBVo2O9Lh18xP6uP3E5p1pvzZYSCWZH6k27o3wkE
EvH0Fzp4T1qllfheBcP7Iw0jMOkGVbhckeVXqNrBly1msvFWq9XWyZeh5Adpr+sF
FSOfpGXdum+DQ575BZJaVteOmbSwvo+n2p+OPPGm64ZnT+Hp+6VFzO8faX6B2PJm
6KaoBVeTp4TwMP1w+noCSrYkptxChoHbmajpDz1NhOEdS4dzKMZm0evjwcWCSlyc
6nObK/LQH0/khuAAM5aPNkeuzgJGRNXOB+clxmRZhynPfvImjx5YENu47j4ZjCuW
MsU8QGvWPQgo4jcL6GvkeFGvcTokEMxbGhMsYjRkneQ1a/CTcEG48NlRHh+IT0Yp
dyt1uq3yWwvnPv5oFQ5t2qGvVxSJWd8mD7VUrtOd6FiDW7BwetoU+A9hMFudJwJS
DBr076XQeIg22K+GUFcUhmYToWVYbmZ19cTYpUD2DSoq9JRJo/xYm460oi+RnJBm
Pf6J7SxnxBbqtsq/l6T3tRraxtAuckO1Zt8LlpEaUItLzWIHIqWC8xEJrvtO8PQg
uhK+Ss37sTB+zUk/DRr/oD660skNi8/8ylp2l1HpyTVtEdCjJW+AY8I6YRHcQuQs
IGSO1AKNYLEaLNxybqog
=wkkW
-----END PGP SIGNATURE-----
Accepted:
coq-float_8.3pl1-2.debian.tar.gz
to main/c/coq-float/coq-float_8.3pl1-2.debian.tar.gz
coq-float_8.3pl1-2.dsc
to main/c/coq-float/coq-float_8.3pl1-2.dsc
libfloat-coq_8.3pl1-2_all.deb
to main/c/coq-float/libfloat-coq_8.3pl1-2_all.deb