blob: 971fe28c9cf68e01274d1ba8cccccd215b596ea5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
DEFINED_PHASES=compile configure install prepare
DEPEND=doc? ( dev-texlive/texlive-latex )
DESCRIPTION=E is a theorem prover for full first-order logic with equality
EAPI=7
HOMEPAGE=https://wwwlehre.dhbw-stuttgart.de/~sschulz/E/E.html
IUSE=doc examples
KEYWORDS=~amd64 ~x86
LICENSE=GPL-2
SLOT=0/2.3
SRC_URI=http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.3/E.tgz -> E-2.3.tgz
_md5_=0c7ea47c3fc08ba2d5f2ca8f6557c836
|
