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

Bug#468557: marked as done (ITP: alt-ergo -- Automatic theorem prover dedicated to program verification)

Your message dated Sat, 04 Apr 2009 13:38:29 +0000
with message-id <E1Lq64r-0000Pk-6T@ries.debian.org>
and subject line Bug#468557: fixed in alt-ergo 0.8-1
has caused the Debian Bug report #468557,
regarding ITP: alt-ergo -- Automatic theorem prover dedicated to program verification
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 this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
468557: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=468557
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Mehdi Dogguy <dogguy@pps.jussieu.fr>


* Package name    : ergo
  Version         : 0.7.2
  Upstream Author : Sylvain Conchon <conchon@lri.fr>
* URL             : http://ergo.lri.fr/
* License         : CeCILL-C
  Programming Lang: OCaml
  Description     : Automatic theorem prover dedicated to program verification

  Ergo is an automatic theorem prover dedicated to program verification.
  Ergo is based on CC(X) a congruence closure algorithm parameterized by an
  equational theory X. Currently, CC(X) can be instanciated by the empty
  equational theory and by the linear arithmetics. Ergo contains also a home
  made SAT-solver and an instanciation mechanism.
  Ergo is both safe and modular: each box is described by a small set of
  inference rules and is implemented as an OCaml functor.

-- System Information:
Debian Release: lenny/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable')
Architecture: i386 (i686)

Kernel: Linux 2.6.22-3-686 (SMP w/2 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to fr_FR.UTF-8)
Shell: /bin/sh linked to /bin/bash

--- End Message ---
--- Begin Message --- 
Source: alt-ergo
Source-Version: 0.8-1

We believe that the bug you reported is fixed in the latest version of
alt-ergo, which is due to be installed in the Debian FTP archive:

alt-ergo_0.8-1.diff.gz
  to pool/main/a/alt-ergo/alt-ergo_0.8-1.diff.gz
alt-ergo_0.8-1.dsc
  to pool/main/a/alt-ergo/alt-ergo_0.8-1.dsc
alt-ergo_0.8-1_i386.deb
  to pool/main/a/alt-ergo/alt-ergo_0.8-1_i386.deb
alt-ergo_0.8.orig.tar.gz
  to pool/main/a/alt-ergo/alt-ergo_0.8.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 468557@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Mehdi Dogguy <dogguy@pps.jussieu.fr> (supplier of updated alt-ergo 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.8
Date: Tue, 24 Feb 2009 10:15:46 +0100
Source: alt-ergo
Binary: alt-ergo
Architecture: source i386
Version: 0.8-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <dogguy@pps.jussieu.fr>
Description: 
 alt-ergo   - Automatic theorem prover dedicated to program verification
Closes: 468557
Changes: 
 alt-ergo (0.8-1) unstable; urgency=low
 .
   * Initial release (Closes: #468557)
Checksums-Sha1: 
 ae2d3a3095d86462a0d686646dfec2a71b934ba0 1318 alt-ergo_0.8-1.dsc
 929fefee498c81674a4e613b30f90b17bcf3d8de 106253 alt-ergo_0.8.orig.tar.gz
 246cf9b731cddcd7c8bcdafd5e2e2271853be749 9816 alt-ergo_0.8-1.diff.gz
 a574d9a9cf0a1736983d14708a6d01609dde668f 413910 alt-ergo_0.8-1_i386.deb
Checksums-Sha256: 
 ef86f8235785768f1b85c885102ccd85402fcdfbf3b012cdf9304944fd7ebd0d 1318 alt-ergo_0.8-1.dsc
 c7c05812b67d5f0b19dd3bd3b3f8795d3360de2e6febf2f3aff23cf25997b0cf 106253 alt-ergo_0.8.orig.tar.gz
 fc8a473b99c529e63a40d012cf56f061aae2ac29f242a2ab32020455b206e961 9816 alt-ergo_0.8-1.diff.gz
 79e1a2ea333309d59699abb4a205c0c574046fb15916406a00cc7e9f970c8346 413910 alt-ergo_0.8-1_i386.deb
Files: 
 6b3c84a44599a43651894d7d3fd70b08 1318 math optional alt-ergo_0.8-1.dsc
 ef6c78bdf377bcbe17fc4a94058479cf 106253 math optional alt-ergo_0.8.orig.tar.gz
 6098a09ae177268fbb4964ec85ff9529 9816 math optional alt-ergo_0.8-1.diff.gz
 712904be866a0e94326d079554b3873c 413910 math optional alt-ergo_0.8-1_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAkmq8YYACgkQIae1O4AJae9bAACffbjWGuNxvONcyYtRyeJF07lU
CYIAnR+TVn00sptUzRXGBMnaRpurQ74j
=sENF
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: