Accepted coq-float 1:8.1-1.0-4 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Sat, 19 Jan 2008 16:52:13 +0100
Source: coq-float
Binary: libfloat-coq
Architecture: source all
Version: 1:8.1-1.0-4
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <smimram@debian.org>
Changed-By: Samuel Mimram <smimram@debian.org>
Description:
libfloat-coq - coq library for floating point numbers
Changes:
coq-float (1:8.1-1.0-4) unstable; urgency=low
.
[ Stefano Zacchiroli ]
* add vcs-* fields
.
[ Samuel Mimram ]
* Rebuild with latest version of coq.
Files:
f5cdc74a9bfb19c2b52e4fe1314ace04 764 libdevel optional coq-float_8.1-1.0-4.dsc
f47fde2dca9851aa1c4130d857323d75 3866 libdevel optional coq-float_8.1-1.0-4.diff.gz
724a19bcaca5dd32ffa9ae5eb660cfdc 9809752 libdevel optional libfloat-coq_8.1-1.0-4_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFHkiJTIae1O4AJae8RAiLHAKCHhqwrEvvsC1qwLyrLnT2ZwehfSQCffiSH
8mbiqPqOEh+nS4mf1YFF9II=
=SiX+
-----END PGP SIGNATURE-----
Accepted:
coq-float_8.1-1.0-4.diff.gz
to pool/main/c/coq-float/coq-float_8.1-1.0-4.diff.gz
coq-float_8.1-1.0-4.dsc
to pool/main/c/coq-float/coq-float_8.1-1.0-4.dsc
libfloat-coq_8.1-1.0-4_all.deb
to pool/main/c/coq-float/libfloat-coq_8.1-1.0-4_all.deb
Reply to: