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

[Samuel Mimram <smimram@debian.org>]

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