Accepted coq-float 1:8.2-1.2-1 (source all)
-----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
Reply to: