Accepted:
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 30 Jul 2014 08:59:29 +0200 Source: coq-float Binary: libfloat-coq Architecture: source all Version: 1:8.4-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libfloat-coq - Coq library on floating-point arithmetic Changes: coq-float (1:8.4-4) unstable; urgency=medium . * Recompile with coq 8.4pl4 Checksums-Sha1: a282e92372b59ca2256f621d16645dcfcd6bd96e 2003 coq-float_8.4-4.dsc 923aa34d7bcab42725f4e89a353924a31d99ba28 3364 coq-float_8.4-4.debian.tar.xz 20aef8b7980461cfcfef637ab6a41436db01d1b6 11453132 libfloat-coq_8.4-4_all.deb Checksums-Sha256: 44005ef7c5f4172db0f7ebd41e2f47a7e277f700389155816138c4b97298416e 2003 coq-float_8.4-4.dsc f7f1eecbab88af55814d83c17db20703f21ae7f0b7dd1aee8eb1ceea6ddeb3c8 3364 coq-float_8.4-4.debian.tar.xz cb7aa4232bcc32fdb21c7c87ba230a80c251f66087aba18c46f66534ff34ffae 11453132 libfloat-coq_8.4-4_all.deb Files: 2e93c885e4d95bb3c14424e630aceaee 11453132 math optional libfloat-coq_8.4-4_all.deb 69e115c65ba4afd3f475eda80112637e 2003 math optional coq-float_8.4-4.dsc 39f5e0ccd58de00d7f10f054cb2cbd57 3364 math optional coq-float_8.4-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJT2KkyAAoJEHhT2k1JiBrTi30P/RhVYO5cWz/+K4lTv7KP8/ab CgqvlbDg2v4hO9P4VA+GChycRTvzUqkw9mq/g6YKmI9lJMpkpJQnRotvZGKbftiL CXKyiRkRDi6dD8lboxrs5g7tnyHeQaUp6Vj2z5XOrimdQZlRzgeQPi1MqpltZQha vpbaKGWyTQP7hdeYNH3yaPqlqQjfagK2jZUA5LB3kW5rDSjNPXHbse2vut/sbaX8 77FATyBIAm8Cx3KpmM4ij859sERdHry0F0iKS/GKPXZcEdGHuowaTptP4MYqHqeQ c9WyEkv7L1t05kLLWP02KK5Nk62ry0mj9hIPIf2Y/GBFhaNEdBlonA5/JWDYVcr4 FIha/beNkbW6kUmR6/kXuPQC/f8Vp2Cg36W6y79veRrwZUxzoPAT/Rmq6yY0UKax uLFM2fjLXYgxusQdI5qNRTVhW4wLt3IPI/4pnsa6c/DU8ovilKjFSss9FRpcZLYU chI4dvTTf3Ru0SzKZHUJxAcf2kChEOO8p38+9C4oJQwBx1txlaUo8IdGDJWaex1a AcDrqmps3/vEo7vc8V6857S7TIoEm6zbGzLQbstC3kSKlH5x5hWXnKeGA9/d7/bX o3nzGm3q+oEyLQ8f/pRZ/9e3Dqw5SdvthaFRgSScxr6hJl1R5Q9DXFjtmklGMcb0 qLKwdNWWAlPf55AtRIiQ =uP5h -----END PGP SIGNATURE----- Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/e1xcq2n-0001oa...@franck.debian.org
