-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 11 Mar 2009 17:13:21 +0100 Source: coq-float Binary: libfloat-coq Architecture: source all Version: 1:8.2-1.2-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stephane Glondu <steph@glondu.net> Description: libfloat-coq - Coq library on floating-point arithmetic Changes: coq-float (1:8.2-1.2-1) unstable; urgency=low . [ Samuel Mimram ] * Switch packaging to git. * Enforce strict dependency on coq ABI. * Update standards version to 3.8.0. * Add Homepage field. . [ Stephane Glondu ] * New Upstream Version * Use debhelper 7 * Add a build cache (for Debian debugging) * Set Maintainer to d-o-m, add Samuel and myself to Uploaders * Add DM-Upload-Allowed * Switch copyright to machine-parsable format * Add a more detailed long description for libfloat-coq Checksums-Sha1: 0fb9b12ca0e88e0f95b0c21e6bccf11b86ff9784 1322 coq-float_8.2-1.2-1.dsc ab9b01cf953e32c100ed21e9980adf68553aaed1 322949 coq-float_8.2-1.2.orig.tar.gz 3977c13497e54a53d6ac71a26ce6410fbb901fc6 2666 coq-float_8.2-1.2-1.diff.gz 2ae4d3f3263960af321d5d345e1b3e2934f92117 10467508 libfloat-coq_8.2-1.2-1_all.deb Checksums-Sha256: 584ef8a1ba9b214abd4e3d6b5bab7fb64fcfe6af3910cc1c9fed67d086b8a5a1 1322 coq-float_8.2-1.2-1.dsc df61debf5afb2cbf44be6a605622b1645ba07be1912bb154ef79009d7eb235b2 322949 coq-float_8.2-1.2.orig.tar.gz eb5d1affb0481e475e93c1dd7c0e90067f9aa926752d16d7520c916560d9179f 2666 coq-float_8.2-1.2-1.diff.gz 9f1f7dbd26bae1aca58da0c6b3a3fe2f0f0a54be96fa7683283e8f4c7abe82a0 10467508 libfloat-coq_8.2-1.2-1_all.deb Files: 1cbea0f47ce98d609d33d064698723e7 1322 libdevel optional coq-float_8.2-1.2-1.dsc 3b565c527a3af70a062ed77cf82a4848 322949 libdevel optional coq-float_8.2-1.2.orig.tar.gz a2b7c9fb2e9b2f3bd6a38f11ce4548fc 2666 libdevel optional coq-float_8.2-1.2-1.diff.gz 32395228085f617e8d8e0cafec7121ae 10467508 libdevel optional libfloat-coq_8.2-1.2-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkm6LpwACgkQIae1O4AJae+SEwCeIMi72EEJ0dvwD9cDvHUXqGuN OzMAmway7M+b1jX80YP0oAGXHbsE57iD =QADR -----END PGP SIGNATURE----- Accepted: coq-float_8.2-1.2-1.diff.gz to pool/main/c/coq-float/coq-float_8.2-1.2-1.diff.gz coq-float_8.2-1.2-1.dsc to pool/main/c/coq-float/coq-float_8.2-1.2-1.dsc coq-float_8.2-1.2.orig.tar.gz to pool/main/c/coq-float/coq-float_8.2-1.2.orig.tar.gz libfloat-coq_8.2-1.2-1_all.deb to pool/main/c/coq-float/libfloat-coq_8.2-1.2-1_all.deb
