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