-----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
