Accepted coq-float 1:8.2-1.2-2 (source all)

[Stephane Glondu <steph@glondu.net>]

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