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