[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#415862: marked as done (ITP: why -- A software verification tool)

Your message dated Sun, 22 Apr 2007 16:31:14 +0000
with message-id <E1Hfey2-0003yP-QD@ries.debian.org>
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 <smimram@debian.org>

* 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 415862@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 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 ftpmaster@debian.org)


-----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 <smimram@debian.org>
Changed-By: Samuel Mimram <smimram@debian.org>
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 ---
Reply to: