DEFINED_PHASES=compile install postinst postrm unpack
DEPEND=isabelle? ( sci-mathematics/isabelle:= )
DESCRIPTION=An Automated Theorem Prover for First-Order Logic with Equality
EAPI=6
HOMEPAGE=http://www.spass-prover.org/
IUSE=isabelle
KEYWORDS=~amd64 ~x86
LICENSE=BSD-2
RDEPEND=isabelle? ( sci-mathematics/isabelle:= )
SLOT=0/3.9
SRC_URI=http://www.spass-prover.org/download/sources/spass39.tgz
_eclasses_=epatch	8233751dc5105a6ae8fcd86ce2bb0247	epunt-cxx	f8073339d152f56626493f43d8ba4691	estack	5ac2a138d0b33354b764d84f9e835db8	eutils	e7491451996e8b54c3caeb713285b0fb	ltprune	2770eed66a9b8ef944714cd0e968182e	multilib	165fc17c38d1b11dac2008280dab6e80	toolchain-funcs	1b1da0c45c555989dc5d832b54880783	versionator	99ae9d758cbe7cfed19170e7d48f5a9c
_md5_=f123872570b771a621d995d6c7be73ea