Accepted coq-float 1:8.3pl1-4 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 06 Jun 2012 22:59:40 +0200
Source: coq-float
Binary: libfloat-coq
Architecture: source all
Version: 1:8.3pl1-4
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-4) unstable; urgency=low
.
* Recompile with camlp5 6.06 (no changes)
Checksums-Sha1:
d95cb864a16219548d75217595a563236f2b6473 2014 coq-float_8.3pl1-4.dsc
5f51652908c8bb469cacdf721777943f520cf54e 3314 coq-float_8.3pl1-4.debian.tar.gz
298ab5aa7402e9009ee46fd54c7e8df5013e7dbe 16637158 libfloat-coq_8.3pl1-4_all.deb
Checksums-Sha256:
1314b9ee05a376efd668b053289123cdfeb3333ce4b7ac97e77bea6aa20a4bfc 2014 coq-float_8.3pl1-4.dsc
9f87c4f1841025baa621974200a3984d7fe2a0d28de45d07a3483100470b726f 3314 coq-float_8.3pl1-4.debian.tar.gz
12ae64a8ca81c8082a0f889610bd34ca84e7a8906af680afc006cbf605824f23 16637158 libfloat-coq_8.3pl1-4_all.deb
Files:
02b267f743c15e6b9ba63d4b48197613 2014 math optional coq-float_8.3pl1-4.dsc
3ae8dac3034dd9a27b105140360bbc05 3314 math optional coq-float_8.3pl1-4.debian.tar.gz
65b3e3517cbb1c310ec6bb4df8e92d5c 16637158 math optional libfloat-coq_8.3pl1-4_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJPz8uRAAoJEHhT2k1JiBrT8bwP/0DC/Cvw93mRgZaxsTcANY/R
xeYGchxhQt2y58JRiL6JiXKQI2zDBWiOzlx2KmrTuXmBykuKILaK8+jyEMHu2u9I
Xy2T6ifarZMCKwuT4WGJwfWykQrwR0o/QPE/F6/+DLyPpikagzdscxp8GrNZEMBA
D12rZSMKn8N4KihkthtkMJobDU1oUuPvHy37Itmi86uizFiq5sE37l2wrD4+sDC7
lqnMmOotLmpSw3e5Oc8dzFmBfi8KVGr9M3ucj/6p/UCkgOXejZsU8ltIxk7jJ3ts
x61bi042m7LS2Nnwc+Et0h9rTLZaiVup0I9ErTEfUAH49nEMSNj+KLQiqvzed8uC
I2J99etE+UfM3pMMkcYum0l61oKZkFgQGszEppYIIHtdAZf0QqP7E5Ec/oa3ifkt
rQUbjKt9Xt0i15h70KknDaO4Sx/MZ56pVDZYfwTc5mbJYGitbpqU7cgKYD1iB5zv
26cKO+ADVFdcGVHrQoqnHKbiBFEb2E/7dx70B0Hl3LzwD3JEZnooYOCXHvOofVjV
0QFuAPTXOwrYwuIj2lXTpe9qwxqWP/YIrsae+KfySlbkSVf7XqeFbpFOadzTZAe7
Jy/zGZqlLwyJtH1yuhp+0IjbccbJanwuBpn7viXA8kMAUaRjJih1pIXhcdQf2tlo
sGkF3KTbUGXWXFBo+vNW
=tK7I
-----END PGP SIGNATURE-----
Accepted:
coq-float_8.3pl1-4.debian.tar.gz
to main/c/coq-float/coq-float_8.3pl1-4.debian.tar.gz
coq-float_8.3pl1-4.dsc
to main/c/coq-float/coq-float_8.3pl1-4.dsc
libfloat-coq_8.3pl1-4_all.deb
to main/c/coq-float/libfloat-coq_8.3pl1-4_all.deb