13 lines
1.2 KiB
Text
13 lines
1.2 KiB
Text
DEFINED_PHASES=compile install postinst preinst prepare setup test
|
|
DEPEND=>=app-shells/bash-3.0:* >=dev-lang/polyml-5.4.1:=[-portable] >=dev-lang/perl-5.8.8-r2 >=dev-java/java-config-2.2.0
|
|
DESCRIPTION=Isabelle is a generic proof assistant
|
|
EAPI=5
|
|
HOMEPAGE=http://www.cl.cam.ac.uk/research/hvg/isabelle/index.html
|
|
IUSE=Pure FOL +HOL ZF CCL CTT Cube FOLP LCF Sequents doc graphbrowsing ledit readline +proofgeneral test elibc_FreeBSD
|
|
KEYWORDS=~amd64 ~x86
|
|
LICENSE=BSD
|
|
RDEPEND=dev-perl/libwww-perl sci-mathematics/sha1-polyml doc? ( virtual/latex-base dev-tex/rail ) proofgeneral? ( app-emacs/proofgeneral ) ledit? ( app-misc/ledit ) readline? ( app-misc/rlwrap ) >=app-shells/bash-3.0:* >=dev-lang/polyml-5.4.1:=[-portable] >=dev-lang/perl-5.8.8-r2 >=dev-java/java-config-2.2.0
|
|
SLOT=0/2011.1
|
|
SRC_URI=http://www.cl.cam.ac.uk/research/hvg/isabelle/dist/Isabelle2011-1.tar.gz
|
|
_eclasses_=eutils d9bd2ddd85a58e470b49ca997e255a4c java-pkg-2 b02dc1e46b3648e467b5fbdf7857cf28 java-utils-2 5f1bd1f8baff3ee957cb72c75c3949f2 multilib 3972ca401cf7dbb430df9995f5d8d580 toolchain-funcs 7a212e5e01adfa4805c9978366e6ee85 versionator 99ae9d758cbe7cfed19170e7d48f5a9c
|
|
_md5_=e7f8b8958338eae91fec513ba76be160
|