Accepted coq-float 2001-1 (source i386)

[Samuel Mimram <smimram@debian.org>]

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