Your message dated Sun, 22 Apr 2007 16:31:14 +0000
with message-id <[EMAIL PROTECTED]>
and subject line Bug#415862: fixed in why 2.02.dfsg-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 <[EMAIL PROTECTED]>
* Package name : why
Version : 2.02
Upstream Author : Jean-Christophe Filliâtre
* URL : http://why.lri.fr/
* License : GPL
Programming Lang: OCaml
Description : A software verification tool
Why aims at being a verification conditions generator (VCG) back-end
for other verification tools. It provides a powerful input language
including higher-order functions, polymorphism, references, arrays and
exceptions. It generates proof obligations for many systems: the proof
assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the
decision procedures Simplify, Ergo, Yices, CVC Lite and haRVey.
-- System Information:
Debian Release: 4.0
APT prefers unstable
APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental')
Architecture: amd64 (x86_64)
Shell: /bin/sh linked to /bin/bash
Kernel: Linux 2.6.18-4-amd64
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) (ignored: LC_ALL
set to en_US.UTF-8)
--- End Message ---
--- Begin Message ---
Source: why
Source-Version: 2.02.dfsg-1
We believe that the bug you reported is fixed in the latest version of
why, which is due to be installed in the Debian FTP archive:
why_2.02.dfsg-1.diff.gz
to pool/main/w/why/why_2.02.dfsg-1.diff.gz
why_2.02.dfsg-1.dsc
to pool/main/w/why/why_2.02.dfsg-1.dsc
why_2.02.dfsg-1_i386.deb
to pool/main/w/why/why_2.02.dfsg-1_i386.deb
why_2.02.dfsg.orig.tar.gz
to pool/main/w/why/why_2.02.dfsg.orig.tar.gz
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 [EMAIL PROTECTED],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Samuel Mimram <[EMAIL PROTECTED]> (supplier of updated why 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 [EMAIL PROTECTED])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Thu, 22 Mar 2007 21:02:49 +0100
Source: why
Binary: why
Architecture: source i386
Version: 2.02.dfsg-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram <[EMAIL PROTECTED]>
Description:
why - A software verification tool
Closes: 415862
Changes:
why (2.02.dfsg-1) unstable; urgency=low
.
* Initial release, closes: #415862.
* Removed octagon since it is not DFSG-free.
Files:
a227b19422149bca3472683f6405e96d 619 math optional why_2.02.dfsg-1.dsc
1e1cc7dd6af2f9b1c184f1023fb99719 1039975 math optional
why_2.02.dfsg.orig.tar.gz
c920987130f068a6e0db6ddc996237aa 2602 math optional why_2.02.dfsg-1.diff.gz
6bcb68f8da2fe1d89024e5ef8adf52ad 2721940 math optional why_2.02.dfsg-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFGBTKvIae1O4AJae8RApqUAJ98QWMYsjiO/qGk4XogTx8XfVp7sACfRRot
1/t9JB0sHEbfB0xXlLTlrJ4=
=rjtY
-----END PGP SIGNATURE-----
--- End Message ---
