[Blends-commit] [SCM] science branch, master, updated. 30807cd028bfd1d61203e492f44ca80c2171c8a3

[Andreas Tille]

The following commit has been merged in the master branch:
commit 4bd9381073ac1c2744ef287b9e43484cce0d9d1c
Author: Andreas Tille <tille at debian.org>
Date:   Tue Nov 26 14:41:23 2013 +0100

    Information of (removed) package eprover remains in Vcs and is taken from there

diff --git a/tasks/mathematics b/tasks/mathematics
index 0cf407c..3e432de 100644
--- a/tasks/mathematics
+++ b/tasks/mathematics
@@ -178,25 +178,6 @@ Remark: Removed from Debian
 
 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/

-- 
Debian Science Blend