Bug#1014159: marked as done (ITP: eprover -- Equational theorem prover)
Your message dated Thu, 14 Jul 2022 22:00:05 +0200
with message-id <d833165d612d26f3312278331bd307bcd43e685c.camel@gmail.com>
and subject line In Debian already
has caused the Debian Bug report #1014159,
regarding ITP: eprover -- Equational theorem prover
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.)
--
1014159: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1014159
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: Debian Math Team <team+math@tracker.debian.org>, jpuydt@debian.org
* Package name : eprover
Version : 2.6
Upstream Author : Stefan Schulz
* URL : https://eprover.org
* License : LGPL-2.1+
Programming Lang: C
Description : Equational theorem prover
This package provides tools to prove equational theorems:
from a mathematical specification in many-sorted first-order
logic with equality and an hypothesis/conjecture, it
will look for a proof.
I plan to maintain it within the Debian Math Team.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Hi,
the -1 was rejected from NEW, so when -2 was accepted, the bug wasn't
closed automatically.
Now doing so manually!
J.Puydt
--- End Message ---
Reply to: