Bug#438613: marked as done (ITP: coq-float -- coq library for floating point numbers)
Your message dated Sat, 25 Aug 2007 15:35:28 +0000
with message-id <E1IOxfc-0001au-0K@ries.debian.org>
and subject line Bug#438613: fixed in coq-float 2001-1
has caused the attached Bug report to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Samuel Mimram <smimram@debian.org>
* Package name : coq-float
Upstream Author : Laurent Théry <thery@sophia.inria.fr>, Sylvie Boldo <Sylvie.Boldo@ens-lyon.fr>, Laurence Rideau <lrg@sophia.inria.fr>
* URL : http://coq.inria.fr/contribs/Float.html
* License : LGPL
Programming Lang: coq
Description : coq library for floating point numbers
Library for reasoning about floating point numbers in coq.
-- System Information:
Debian Release: lenny/sid
APT prefers unstable
APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental')
Architecture: i386 (i686)
Kernel: Linux 2.6.22-1-686 (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to en_US.UTF-8)
Shell: /bin/sh linked to /bin/bash
--- End Message ---
--- Begin Message ---
Source: coq-float
Source-Version: 2001-1
We believe that the bug you reported is fixed in the latest version of
coq-float, which is due to be installed in the Debian FTP archive:
coq-float_2001-1.diff.gz
to pool/main/c/coq-float/coq-float_2001-1.diff.gz
coq-float_2001-1.dsc
to pool/main/c/coq-float/coq-float_2001-1.dsc
coq-float_2001.orig.tar.gz
to pool/main/c/coq-float/coq-float_2001.orig.tar.gz
libfloat-coq_2001-1_i386.deb
to pool/main/c/coq-float/libfloat-coq_2001-1_i386.deb
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 438613@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Samuel Mimram <smimram@debian.org> (supplier of updated coq-float package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Fri, 10 Aug 2007 14:48:56 +0000
Source: coq-float
Binary: libfloat-coq
Architecture: source i386
Version: 2001-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
Closes: 438613
Changes:
coq-float (2001-1) unstable; urgency=low
.
* Initial release, closes: #438613.
Files:
daac0b7390504442cb7cd634ed39a785 580 libdevel optional coq-float_2001-1.dsc
4ebefca1803a6c85fb43bc51b7bd11aa 107505 libdevel optional coq-float_2001.orig.tar.gz
ee27a94147297fe0acdad3db62bba2fb 1736 libdevel optional coq-float_2001-1.diff.gz
40ca1e6c6368c299c5e8ce261f59c12f 1374574 libdevel optional libfloat-coq_2001-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFGx5IoIae1O4AJae8RAnx3AJ9O0rfBy9PLzcwyyObnb6Fd8nVVfACfanHq
yIq7DQW3vNqylS4PcKTkI8s=
=3unx
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: