-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Mon, 10 Sep 2007 00:24:19 +0200 Source: coq-float Binary: libfloat-coq Architecture: source all Version: 1:8.1-1.0-2 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-2) unstable; urgency=low . * Rebuild with latest version of coq. Files: c953129e841a0cc251510b534296885c 602 libdevel optional coq-float_8.1-1.0-2.dsc e01b242111c4b3751b2289ff82ee02a6 3750 libdevel optional coq-float_8.1-1.0-2.diff.gz 63ffdf34a9bb87f4cd182c110c38071c 9809592 libdevel optional libfloat-coq_8.1-1.0-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFG5Hi3Iae1O4AJae8RAtUXAJ4z6wxcaeLZgycda6FWE1J8BiwnfACfbZsk na1KCFsTTro0KQpoISe4rVM= =M4kf -----END PGP SIGNATURE----- Accepted: coq-float_8.1-1.0-2.diff.gz to pool/main/c/coq-float/coq-float_8.1-1.0-2.diff.gz coq-float_8.1-1.0-2.dsc to pool/main/c/coq-float/coq-float_8.1-1.0-2.dsc libfloat-coq_8.1-1.0-2_all.deb to pool/main/c/coq-float/libfloat-coq_8.1-1.0-2_all.deb
