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