You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
16 lines
649 B
16 lines
649 B
DEFINED_PHASES=compile install postinst postrm prepare
|
|
DEPEND=>=dev-lang/mlton-20180207 doc? ( virtual/latex-base app-text/texi2html ) emacs? ( >=app-editors/emacs-23.1:* )
|
|
DESCRIPTION=Implementation of the logical framework LF
|
|
EAPI=8
|
|
HOMEPAGE=http://twelf.org/
|
|
INHERIT=elisp-common
|
|
IUSE=doc emacs examples
|
|
KEYWORDS=~amd64 ~x86
|
|
LICENSE=BSD-2
|
|
RDEPEND=>=dev-lang/mlton-20180207 doc? ( virtual/latex-base app-text/texi2html ) emacs? ( >=app-editors/emacs-23.1:* )
|
|
RESTRICT=test
|
|
SLOT=0/1.7.1
|
|
SRC_URI=http://twelf.plparty.org/releases/twelf-src-1.7.1.tar.gz
|
|
_eclasses_=elisp-common 79f8e13c80c89792e5c9b3fc8ef59f3b
|
|
_md5_=71800e353bd7603fad6982201a69f30a
|