blob: 9285923f8789d86863d3a0ebfe0ce908e8d04656 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
BDEPEND=python_targets_python2_7? ( >=dev-lang/python-2.7.5-r2:2.7 ) >=dev-lang/python-exec-2:=[python_targets_python2_7(-)?,-python_single_target_python2_7(-)]
DEFINED_PHASES=compile configure install prepare test
DEPEND=dev-python/wxpython[python_targets_python2_7(-)?,-python_single_target_python2_7(-)] sci-mathematics/prover9 dev-python/setuptools[python_targets_python2_7(-)?,-python_single_target_python2_7(-)]
DESCRIPTION=This is a Graphical User Interface for Prover9 and Mace4
EAPI=7
HOMEPAGE=https://www.cs.unm.edu/~mccune/mace4/
IUSE=examples python_targets_python2_7
KEYWORDS=~amd64 ~x86
LICENSE=GPL-2
RDEPEND=dev-python/wxpython[python_targets_python2_7(-)?,-python_single_target_python2_7(-)] sci-mathematics/prover9 python_targets_python2_7? ( >=dev-lang/python-2.7.5-r2:2.7 ) >=dev-lang/python-exec-2:=[python_targets_python2_7(-)?,-python_single_target_python2_7(-)]
REQUIRED_USE=|| ( python_targets_python2_7 )
SLOT=0
SRC_URI=https://www.cs.unm.edu/~mccune/prover9/gui/p9m4-v05.tar.gz https://dev.gentoo.org/~gienah/2big4tree/sci-mathematics/p9m4/p9m4-v05-64bit.patch.bz2
_eclasses_=distutils-r1 875cdbd904383003dd58e0ad4068470b multibuild 40fe59465edacd730c644ec2bc197809 multilib 1d91b03d42ab6308b5f4f6b598ed110e multiprocessing cac3169468f893670dac3e7cb940e045 python-r1 d21193dfc088687e048e829419568096 python-utils-r1 d7629f6349b5d4cbb4cb5f56d680d71a toolchain-funcs 512eb3367f507ebaa1d1d43ab7d66e6c
_md5_=8c6a0c33872d26e8d5c43e71e361ce63
|
GitWeb
