Accepted coq-float 1:8.4-4 (source all) into unstable
-----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 <glondu@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-----
Reply to: