-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Fri, 10 Aug 2007 14:48:56 +0000 Source: coq-float Binary: libfloat-coq Architecture: source i386 Version: 2001-1 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 Closes: 438613 Changes: coq-float (2001-1) unstable; urgency=low . * Initial release, closes: #438613. Files: daac0b7390504442cb7cd634ed39a785 580 libdevel optional coq-float_2001-1.dsc 4ebefca1803a6c85fb43bc51b7bd11aa 107505 libdevel optional coq-float_2001.orig.tar.gz ee27a94147297fe0acdad3db62bba2fb 1736 libdevel optional coq-float_2001-1.diff.gz 40ca1e6c6368c299c5e8ce261f59c12f 1374574 libdevel optional libfloat-coq_2001-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFGx5IoIae1O4AJae8RAnx3AJ9O0rfBy9PLzcwyyObnb6Fd8nVVfACfanHq yIq7DQW3vNqylS4PcKTkI8s= =3unx -----END PGP SIGNATURE----- Accepted: coq-float_2001-1.diff.gz to pool/main/c/coq-float/coq-float_2001-1.diff.gz coq-float_2001-1.dsc to pool/main/c/coq-float/coq-float_2001-1.dsc coq-float_2001.orig.tar.gz to pool/main/c/coq-float/coq-float_2001.orig.tar.gz libfloat-coq_2001-1_i386.deb to pool/main/c/coq-float/libfloat-coq_2001-1_i386.deb
