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