Accepted coq-float 1:8.4-3 (source all)

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 20 Jan 2014 07:44:07 +0100
Source: coq-float
Binary: libfloat-coq
Architecture: source all
Version: 1:8.4-3
Distribution: unstable
Urgency: medium
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.4-3) unstable; urgency=medium
 .
   * Recompile with coq 8.4pl3
   * Bump Standards-Version to 3.9.5 (no changes)
   * Update Vcs-*
Checksums-Sha1: 
 9fab0806c6f92a166a46753d7ff530fdd60a71b2 1981 coq-float_8.4-3.dsc
 c493033b6a13f52b4048f01f8ec53c560706a08b 3332 coq-float_8.4-3.debian.tar.xz
 d44850e873a75445ff03925101f9b7112996d89e 11448122 libfloat-coq_8.4-3_all.deb
Checksums-Sha256: 
 32c7efd188fd3a13df5344bc5aebc7f46c05c2db7438256a08c89f37c9a31d03 1981 coq-float_8.4-3.dsc
 ade9e710bb7b374f8a595f2aa46dbe62f49196a1aca09827caeb20163c39772b 3332 coq-float_8.4-3.debian.tar.xz
 e6dec44d31e20c31d592613eccb4df8bbdfe63a8384a0b6abd09eb1a65b6307e 11448122 libfloat-coq_8.4-3_all.deb
Files: 
 30d0b774761a2982a1de66137ae5e4ba 1981 math optional coq-float_8.4-3.dsc
 b51b1970f9181d9617a14ef486741b3c 3332 math optional coq-float_8.4-3.debian.tar.xz
 8ba43532e094cc4ec06700c2c0527333 11448122 math optional libfloat-coq_8.4-3_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJS3NqSAAoJEHhT2k1JiBrTSdYQALfKYRsHoYX5OrOibYQn+R+q
/X6NythDScTfJYXLRzeTWSksjmM6xdUvtg0HbfEiFQ4Yjq12rZ4MX404GiBYLrbV
2xa8Nr/5ugHX1gGsUTBhH996egaZ86F86BL5KV/3Cb2nAKVewSnxq9ZT1FJeDUnQ
4MQXMuh/QpSyoLkuNYqPNNQy18sAj7bmX7lRvbQ16+qrjixV/FoKJ24tWd/jevwg
eMHaENbk5c3G/GqHfu2d9GrddNM3DUQyJyIxgruk5kBwEoE8NWLb4kpy0Mrwbx6I
rPPu1D3qAERit/d+X/BIP5T6GpCOjRUI5E4EwdV4kGnmn4XgQaVMzrMOD5lLj/1L
gwzgnqr8uRtBOiE8scGJedJO7OM5jjihWKsEF1rJoTQBOXV/NWtasn53uGzBl4Oz
oYsc0Gqz107aGiePIF9ncPNRpTIvp7c16SQzfX499DWBve8gGuQZxlw7F0UDwSPS
UkmaPg30eGh2zAyyUTMoos2aZQ0XW4KVrT9vlAE6UO6JJYr3MjZV2krnPwc4t5Pt
of5O/3azOvv2HV6Iz680gYwsR7IdCtFOSc8bVq3mW254G+mxhds67YRnPZJicBnu
r4MI4apW4o8+4USLzy4oqAitCqArRXsF7ehOy11aD5B+jsq3ZUkfH+dysuKuE8qo
Hxd7LZZmhv4q9sKKOdGL
=cCBD
-----END PGP SIGNATURE-----