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

[Samuel Mimram <smimram@debian.org>]

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

Format: 1.7
Date: Thu, 30 Aug 2007 13:08:49 +0200
Source: coq-float
Binary: libfloat-coq
Architecture: source all
Version: 1:8.1-1.0-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
Changes: 
 coq-float (1:8.1-1.0-1) unstable; urgency=low
 .
   * New upstream release.
   * Updated upstream url and watch.
   * Made the package arch all since coq libraries should be
     platform-independant.
Files: 
 02f96d96592bd9b90c9fc74e92c987c5 591 libdevel optional coq-float_8.1-1.0-1.dsc
 2af65050cc8cf2b590fa1cf3b73506cf 320981 libdevel optional coq-float_8.1-1.0.orig.tar.gz
 989115a097f7e638319a0b7ae4325557 3698 libdevel optional coq-float_8.1-1.0-1.diff.gz
 ea50d99e0609a66ca0ebddea5183fba4 9809968 libdevel optional libfloat-coq_8.1-1.0-1_all.deb

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

iD8DBQFG1r5bIae1O4AJae8RAm+EAJ0Tmnx8nHkBqyH4OqeMxgrmyICS9QCeJQDw
zdeQ7poI50zpv6lCklVIdzU=
=DyaA
-----END PGP SIGNATURE-----


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