-----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
