| DEFINED_PHASES=install postinst postrm prepare |
| DEPEND=isabelle? ( >=sci-mathematics/isabelle-2011.1-r1:= ) |
| DESCRIPTION=An Automated Theorem Prover for First-Order Logic with Equality |
| EAPI=5 |
| HOMEPAGE=http://www.spass-prover.org/ |
| IUSE=doc examples isabelle |
| KEYWORDS=~amd64 ~x86 |
| LICENSE=BSD-2 |
| RDEPEND=isabelle? ( >=sci-mathematics/isabelle-2011.1-r1:= ) |
| SLOT=0/3.7 |
| SRC_URI=http://www.spass-prover.org/download/sources/spass37.tgz |
| _eclasses_=eutils b83a2420b796f7c6eff682679d08fe25 multilib d062ae4ba2fc40a19c11de2ad89b6616 toolchain-funcs 6198c04daba0e1307bd844df7d37f423 versionator 99ae9d758cbe7cfed19170e7d48f5a9c |
| _md5_=2cda04276434c56f09161dd7946a38b5 |