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
Reply to: