11 lines
515 B
Text
11 lines
515 B
Text
DEFINED_PHASES=compile install prepare test
|
|
DESCRIPTION=Automated theorem prover for first-order and equational logic
|
|
EAPI=7
|
|
HOMEPAGE=https://www.cs.unm.edu/~mccune/mace4/
|
|
IUSE=examples
|
|
KEYWORDS=~amd64 ~x86
|
|
LICENSE=GPL-2
|
|
SLOT=0
|
|
SRC_URI=https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz https://dev.gentoo.org/~jlec/distfiles/LADR-2009-11A-makefile.patch.xz
|
|
_eclasses_=multilib de4beb52bfa93c4c5d96792a6b5e1784 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8
|
|
_md5_=811bbc769e438813a3e35c82ded80d21
|