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