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

Bug#516545: marked as done (ITP: eprover -- The Equational Theorem Prover E)

Your message dated Sun, 29 Mar 2009 13:16:17 +0000
with message-id <E1Lnus5-0004Zw-MQ@ries.debian.org>
and subject line Bug#516545: fixed in eprover 1.0.004-1
has caused the Debian Bug report #516545,
regarding ITP: eprover -- The Equational Theorem Prover E
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.)


-- 
516545: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=516545
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Petr Pudlak <deb@pudlak.name>


* Package name    : eprover
  Version         : 1.0.004
  Upstream Author : Stephan Schulz <schulz@eprover.org>
* URL             : http://www.eprover.org/
* License         : GPL-2
  Programming Lang: C
  Description     : The Equational Theorem Prover E

E is an automated equational theorem prover. That means it is a program that
you can stuff a mathematical specification (in first-order logic with equality)
and a hypothesis into, and which will then run forever, using up all of your
machines resources. Very occasionally it will find a proof for the hypothesis
and tell you so ;-).

Release 1.0 is the culmination of a long development phase. Important changes
vs. version 0.999 include the fixing of some bugs in definitional
clausification for large problems and general cleanup.

(Copied from the original documentation.)

-- System Information:
Debian Release: 5.0
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'stable'), (150, 'unstable')
Architecture: i386 (i686)

--- End Message ---
--- Begin Message --- 
Source: eprover
Source-Version: 1.0.004-1

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

eprover-doc-html_1.0.004-1_all.deb
  to pool/main/e/eprover/eprover-doc-html_1.0.004-1_all.deb
eprover-examples_1.0.004-1_all.deb
  to pool/main/e/eprover/eprover-examples_1.0.004-1_all.deb
eprover_1.0.004-1.diff.gz
  to pool/main/e/eprover/eprover_1.0.004-1.diff.gz
eprover_1.0.004-1.dsc
  to pool/main/e/eprover/eprover_1.0.004-1.dsc
eprover_1.0.004-1_i386.deb
  to pool/main/e/eprover/eprover_1.0.004-1_i386.deb
eprover_1.0.004.orig.tar.gz
  to pool/main/e/eprover/eprover_1.0.004.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 516545@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Petr Pudlak <deb@pudlak.name> (supplier of updated eprover 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, 03 Mar 2009 15:03:06 +0100
Source: eprover
Binary: eprover eprover-examples eprover-doc-html
Architecture: source all i386
Version: 1.0.004-1
Distribution: unstable
Urgency: low
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Petr Pudlak <deb@pudlak.name>
Description: 
 eprover    - Theorem prover for first-order logic with equality
 eprover-doc-html - Theorem prover for first-order logic with equality - HTML doc
 eprover-examples - Theorem prover for first-order logic with equality - examples
Closes: 516545
Changes: 
 eprover (1.0.004-1) unstable; urgency=low
 .
   * Initial Debian release.
     Closes: #516545
   * Created man pages using help2man.
   * Adjusted the Makefiles to
     - install into $(DESTDIR) directory;
     - to handle dependencies between source files in a more transparent and
       efficient way - instead of generating Makefile.dependencies by the build
       scripts, let 'make' generate .d file for each .c file as needed;
     - not to modify source files in place - instead of modifying Makefile.vars,
       put configuration into a new file Makefile.cfg;
     - not to build development tools - the build scripts modify them in place
       and they are not needed anyway for the package.
   * Added 'test' target to Makefile to test that eprover binary was sucessfully
     compiled and works on a sample problem.
   * Added 'html' target to DOC/Makefile that builds HTML documentation using
     tex4ht.
   * Adjusted for the DebianScience GIT repository.
   * Refined dependencies in debian/control, checked with pbuilder.
   * Update 'clear' target in DOC/Makefile to clean some files left after
     tex4ht.
Checksums-Sha1: 
 84541d18fdf9c4829b34b638bda3a76a401e781d 1420 eprover_1.0.004-1.dsc
 b8974ea523f4d580d81ed2127471758c17e4d10b 1367348 eprover_1.0.004.orig.tar.gz
 0373c7a0f1a09ba37cf8f26e87edd18764a44fb8 21597 eprover_1.0.004-1.diff.gz
 30b7313cceefde709e04cb2bb1f06bea53c22098 191558 eprover-examples_1.0.004-1_all.deb
 8b7ac61b0f3159755f33532b087402671c802710 61294 eprover-doc-html_1.0.004-1_all.deb
 4f748fa5bde9a6d9163ceda9891f0e5e632e15df 931706 eprover_1.0.004-1_i386.deb
Checksums-Sha256: 
 18503dbb7c3d7b20998cb8e4c7b2842c98001b81fb00f24d98a92f826539cf83 1420 eprover_1.0.004-1.dsc
 786398d799ca919b728898b53bdfdfaab7853c39d4ab9427c12890ba6d244445 1367348 eprover_1.0.004.orig.tar.gz
 f750cb20d8eccb497c46580e768d8902a5459ddc6b16c5c470cd472f16919815 21597 eprover_1.0.004-1.diff.gz
 1b3c28eaa40b7493c784e79d1e362b56217786c05dc2092ebba23f4e43d5e2bc 191558 eprover-examples_1.0.004-1_all.deb
 0c6ed806e9eb368209c700f3ac76795ff1d38396b3e925c64bb9b497f539864a 61294 eprover-doc-html_1.0.004-1_all.deb
 0ac5864092d9b97c5b204b80e2ff028601ba730a94167d093f5ead3a68f313c2 931706 eprover_1.0.004-1_i386.deb
Files: 
 d774c639ce522f53747f6fd376d37c0f 1420 science extra eprover_1.0.004-1.dsc
 ed52b352fc0c2efe2f62c7f0d14cb5a1 1367348 science extra eprover_1.0.004.orig.tar.gz
 deac4ce1990ead6c34ae30b5381b29c7 21597 science extra eprover_1.0.004-1.diff.gz
 303ffc20980cc53ea6b8b8a5c6852998 191558 science extra eprover-examples_1.0.004-1_all.deb
 48bc9738f7fe3b3a3dc74720a9876b20 61294 science extra eprover-doc-html_1.0.004-1_all.deb
 589de4893b9b9b94db08aa26597a4ccb 931706 science extra eprover_1.0.004-1_i386.deb

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

iD8DBQFJtNdQYDBbMcCf01oRAgirAJ9aNY3ot8zzrB8s++k2p579yRNHGACfXcpT
4qiq5XVSPmyOdINjxTtU3eY=
=MWGH
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: