Accepted coq-float 1:8.2-1.2-3 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: RIPEMD160
Format: 1.8
Date: Sat, 04 Jul 2009 14:06:56 +0200
Source: coq-float
Binary: libfloat-coq
Architecture: source all
Version: 1:8.2-1.2-3
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stephane Glondu <steph@glondu.net>
Description:
libfloat-coq - Coq library on floating-point arithmetic
Changes:
coq-float (1:8.2-1.2-3) unstable; urgency=low
.
* Rebuild with Coq 8.2pl1
Checksums-Sha1:
64656957bbb9210c1f2da1a31d1ea712a8cada16 1327 coq-float_8.2-1.2-3.dsc
5c728fe6e29bf1c42f8bc56db78c862bbb60e071 2733 coq-float_8.2-1.2-3.diff.gz
9718d4ab9a9e9344c822b80a73fc1484a445eed5 10567414 libfloat-coq_8.2-1.2-3_all.deb
Checksums-Sha256:
edda5b26e9887fc841c06be5b70bf7742bdca222586e0c1296e617db239dd186 1327 coq-float_8.2-1.2-3.dsc
e3de79301f14ecdd04606181e7b6edcfd204ff27480dee59a77b9b32d5da8c10 2733 coq-float_8.2-1.2-3.diff.gz
6d8cdfa5d703e3ab2f6427e35c546654740de3132a963deb5ec26358932d7647 10567414 libfloat-coq_8.2-1.2-3_all.deb
Files:
1c876660c786a4690c5b06508ec6d335 1327 libdevel optional coq-float_8.2-1.2-3.dsc
dda115ea7539ecba4c6237a77a2f5724 2733 libdevel optional coq-float_8.2-1.2-3.diff.gz
599461f51f6037cd6b4bc6dd4c4ab697 10567414 libdevel optional libfloat-coq_8.2-1.2-3_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEAREDAAYFAkpPSDUACgkQBg8odvzgPaqa1ACdHjBd/ruGz+9Jkd1tumByWcgy
IakAoI6RY3yqaG53J5jnPhiFYixGJ3ke
=IKgP
-----END PGP SIGNATURE-----
Accepted:
coq-float_8.2-1.2-3.diff.gz
to pool/main/c/coq-float/coq-float_8.2-1.2-3.diff.gz
coq-float_8.2-1.2-3.dsc
to pool/main/c/coq-float/coq-float_8.2-1.2-3.dsc
libfloat-coq_8.2-1.2-3_all.deb
to pool/main/c/coq-float/libfloat-coq_8.2-1.2-3_all.deb
Reply to: