-----BEGIN PGP SIGNED MESSAGE----- Hash: RIPEMD160 Format: 1.8 Date: Wed, 01 Jul 2009 20:11:09 +0200 Source: coq-float Binary: libfloat-coq Architecture: source all Version: 1:8.2-1.2-2 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-2) unstable; urgency=low . * Recompile with OCaml 3.11.1 ABI * Update Standards-Version to 3.8.2 Checksums-Sha1: 54b0215eec165b5def3cf84d2d7694b323666b8e 1327 coq-float_8.2-1.2-2.dsc cbc63add32f0d2ee924cb7408da1a6e6fc9b27f1 2706 coq-float_8.2-1.2-2.diff.gz 0f76451517337c7951d41e7088c1133a6c1a80f5 10472942 libfloat-coq_8.2-1.2-2_all.deb Checksums-Sha256: 6be6591d508cb38275179a22344045b72461249cd433eb8b923d61fcd6e73ab2 1327 coq-float_8.2-1.2-2.dsc eb2f0f28f77f9844e18ab4e78f5a7ef73cc6c9cef1da70d2af6fb056b4b91e7a 2706 coq-float_8.2-1.2-2.diff.gz db9a7dc40fc55e0e0dc63ab9152844240b3c85dd66f8fd9a04837147ed05e5dc 10472942 libfloat-coq_8.2-1.2-2_all.deb Files: ee272d79902d4ad068920861671f1014 1327 libdevel optional coq-float_8.2-1.2-2.dsc 2a7f8b3b95736bb2c7b7b5436017ec8c 2706 libdevel optional coq-float_8.2-1.2-2.diff.gz 77a67edde2079e8b1cee16827b512cfd 10472942 libdevel optional libfloat-coq_8.2-1.2-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEAREDAAYFAkpLrMEACgkQBg8odvzgParw6QCfYC4+2P60qtsdhyi2oVrLUjv2 OMYAn2ifjvLsPWPC4TdWbRVNHpll1x1Q =ssMp -----END PGP SIGNATURE----- Accepted: coq-float_8.2-1.2-2.diff.gz to pool/main/c/coq-float/coq-float_8.2-1.2-2.diff.gz coq-float_8.2-1.2-2.dsc to pool/main/c/coq-float/coq-float_8.2-1.2-2.dsc libfloat-coq_8.2-1.2-2_all.deb to pool/main/c/coq-float/libfloat-coq_8.2-1.2-2_all.deb
