Accepted coq-float 1:8.1-1.0-3 (source all)

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Sun, 18 Nov 2007 19:21:44 +0000
Source: coq-float
Binary: libfloat-coq
Architecture: source all
Version: 1:8.1-1.0-3
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-3) unstable; urgency=low
 .
   * Rebuild with latest coq.
Files: 
 0ed5171b6b8903f2232c316ace688625 595 libdevel optional coq-float_8.1-1.0-3.dsc
 6e691446c2f5a908ee0a75fd07dc9743 3768 libdevel optional coq-float_8.1-1.0-3.diff.gz
 86c8bf96a76c56f0d74db6400a350311 9809866 libdevel optional libfloat-coq_8.1-1.0-3_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFHQLYwIae1O4AJae8RAne4AJ925y/YA6ssBHrKaL+DF+uadSEIeQCeLTyY
D3Iu0BI1K2CHpuvVHWL5s5w=
=rVXA
-----END PGP SIGNATURE-----


Accepted:
coq-float_8.1-1.0-3.diff.gz
  to pool/main/c/coq-float/coq-float_8.1-1.0-3.diff.gz
coq-float_8.1-1.0-3.dsc
  to pool/main/c/coq-float/coq-float_8.1-1.0-3.dsc
libfloat-coq_8.1-1.0-3_all.deb
  to pool/main/c/coq-float/libfloat-coq_8.1-1.0-3_all.deb