Accepted coq-float 1:8.4-5 (source all) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 14 Oct 2015 11:37:12 +0200
Source: coq-float
Binary: libfloat-coq
Architecture: source all
Version: 1:8.4-5
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-5) unstable; urgency=medium
.
* Recompile with OCaml 4.02.3
Checksums-Sha1:
6f22f5b21d32ea574c0637ec37e21bd814c18a94 1986 coq-float_8.4-5.dsc
4bcb09775bb16fba6a18e85af72e940d3d63b335 3368 coq-float_8.4-5.debian.tar.xz
f05c15563228901dfe7fbd914026365ebd0ec88a 11447446 libfloat-coq_8.4-5_all.deb
Checksums-Sha256:
0b9855209ef42ffcaf03184c4bdd70dd808ad1b05579c5b46e6fd9a36d473400 1986 coq-float_8.4-5.dsc
4fe46ae3707bf081c7556f3e8b42783a1efc990f27a11d1e9782a34a63effb51 3368 coq-float_8.4-5.debian.tar.xz
7f9b395d02f97366b4b15f08d16c245c2b302eeb259c2612f5a9cc4ab5b6dfe9 11447446 libfloat-coq_8.4-5_all.deb
Files:
7c1fa1ef4f52363a8312aeeb1cbdaa14 1986 math optional coq-float_8.4-5.dsc
b75f874f7c2cbcbbfad26b25da1c4f6f 3368 math optional coq-float_8.4-5.debian.tar.xz
298fadf5f4de5a3a7d582cb11f48b6b5 11447446 math optional libfloat-coq_8.4-5_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCgAGBQJWHr2hAAoJEHhT2k1JiBrTdf8P/1w3AeGk+qLNITcPveUOiaBN
SvYkEbz2wNJVVQ6pMist2R6l+x4hEr5CIvQGb16f7faUHkqVgYSvKrPlowoxosLj
zU2aakqPrM0o9vtCwgXFfthEjD3p+tXmJ/0BvLrwTajdgn56Bnoj7ijxPL/BUe6w
G3gifCTSIjVlfo8PqVgiSJFlwqJ2nOsvkyDDTlVw7uaY0fcrDsku13TloeX/J8O1
NWzf25S76MJnrn4TGK1pGphfPV2Y+LpHNQsJ/4LB65mmVo+dxvaCLToUCDIjns42
vjipblWZ5BxzEWzIkjgpN0ZfZnI3eoCC08s3WVZVcHTKOBidx3K6wgDJ6Ebt2C1Y
5wePlb0PfhSHsi6LuwVOXg/siyI1pmz2KKxqd0y29Y2tbYKAZhf4+MrKftg2xtHf
a9JGKscxsfKkKSpLWeW5AHOMe/qRVo+D9kWb/HbYZz/imEBFS+0SZdP2en6hN1oF
Isni4ZhjLVxMzzW4sBE5IEOhU8Hk0g3cMbCBmMir2nHOk/oRZHWrdzUfqFZt4P9r
dg30Xn83cUzD5HQsM4M1g8JmBehm5XO3sso9ZRqC/oRjFsR7qdz/YCpJzgBKISxT
Et5AG1zMaPnSb7+JibDRS9mT8VYY2e9htt23c6n+BB72ftj+PlTYGHlMXKWMjyU1
d2bruOEocKiGq9anNk6W
=JKrm
-----END PGP SIGNATURE-----