[Blends-commit] r3193 - /projects/science/trunk/debian-science/tasks/mathematics

Sat Feb 25 23:10:40 UTC 2012

Author: tille
Date: Sat Feb 25 23:10:40 2012
New Revision: 3193

URL: http://svn.debian.org/wsvn/blends/?sc=1&rev=3193
Log:
eprover was removed from Debian

Modified:
    projects/science/trunk/debian-science/tasks/mathematics

Modified: projects/science/trunk/debian-science/tasks/mathematics
URL: http://svn.debian.org/wsvn/blends/projects/science/trunk/debian-science/tasks/mathematics?rev=3193&op=diff
==============================================================================

--- projects/science/trunk/debian-science/tasks/mathematics (original)
+++ projects/science/trunk/debian-science/tasks/mathematics Sat Feb 25 23:10:40 2012
@@ -63,8 +63,6 @@
 Depends: dolfin-bin
 
 Depends: fenics
-
-Depends: eprover
 
 Depends: python-ffc
 
@@ -149,3 +147,30 @@
  from http://snapshot.debian.org/
  .
  Reasons are given here: http://bugs.debian.org/573538
+
+Depends: eprover
+Pkg-URL: http://snapshot.debian.org/package/eprover/1.0.004-1/
+Homepage: http://www.eprover.org/
+Pkg-Description: Theorem prover for first-order logic with equality
+ E is a fully automatic theorem prover for full first-order logic with
+ equality. It accepts a mathematical specification and, optionally, a
+ hypothesis, and tries to prove the hypothesis and/or find a
+ saturation representing a (counter-)model for the specification.
+ .
+ E is based on a purely equational problem representation and
+ implements a variant of the superposition calculus. Proof search can
+ be guided with a multitude of options or a powerful automatic
+ configuration mode. The system can process input in a number of
+ different formats, including the standard TPTP-2 and TPTP-3
+ formats. It can generate proof objects in PCL2 or TPTP-3/TSTP
+ format.
+ .
+ E is considered one of the most powerful and friendly automated
+ theorem provers for first-order logic. It has consistently been among
+ the top system in the major categories of the CASC system competition,
+ and usually been the strongest free software system.
+Remark: Removed from Debian
+ This package was removed from Debian but some versions are available
+ from http://snapshot.debian.org/
+ .
+ Reasons are given here: http://bugs.debian.org/651971


