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 351a78113be5b393c09a2c948701ad36 java-pkg-2 bb9b8157d2a348d9ec42ce34a107fe0d java-utils-2 7c8af272d218f7b7df22fd16bb0bfb63 multilib df4e4d5cfd3d137d0c248e1991c0e4d6 toolchain-funcs 4b8d3388c0a6e798504e20ba30b49361 versionator 99ae9d758cbe7cfed19170e7d48f5a9c
|
|
_md5_=e7f8b8958338eae91fec513ba76be160
|