coq-float (1:8.4-2build1) trusty; urgency=medium * No-change rebuild.
Date: Tue, 24 Dec 2013 12:40:18 +0100 Changed-By: Matthias Klose <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> https://launchpad.net/ubuntu/trusty/+source/coq-float/1:8.4-2build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 24 Dec 2013 12:40:18 +0100 Source: coq-float Binary: libfloat-coq Architecture: source Version: 1:8.4-2build1 Distribution: trusty Urgency: medium Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Matthias Klose <[email protected]> Description: libfloat-coq - Coq library on floating-point arithmetic Changes: coq-float (1:8.4-2build1) trusty; urgency=medium . * No-change rebuild. Checksums-Sha1: cf165e31c4ed19728bc9e36f09aa40a787e45be1 1371 coq-float_8.4-2build1.dsc 755aab8375d1c00b0ff6edc8f47b12e8542acc35 3467 coq-float_8.4-2build1.debian.tar.gz Checksums-Sha256: abe744bbf43be9b99327389df197de5591b770857409947167deb5af6bae1186 1371 coq-float_8.4-2build1.dsc 7f2c245931a181a76505bcd7e7df6c09e9c85428bc0c42ab047fc7d661da7cad 3467 coq-float_8.4-2build1.debian.tar.gz Files: 273adcad5ae33a7ea927965aef02f215 1371 math optional coq-float_8.4-2build1.dsc 12e0513776e59848bbb9eba1f19b9f91 3467 math optional coq-float_8.4-2build1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) iEYEARECAAYFAlK5q0kACgkQStlRaw+TLJx/2ACfRDHQM1uUyfQgcmwCNOfg+K47 JboAnihEaSzU/m3rkmsXix0S/c59lt53 =30jl -----END PGP SIGNATURE-----
-- Trusty-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/trusty-changes
