diff options
author | Repository QA checks <repo-qa-checks@gentoo.org> | 2017-01-11 12:43:20 +0000 |
---|---|---|
committer | Repository QA checks <repo-qa-checks@gentoo.org> | 2017-01-11 12:43:20 +0000 |
commit | d395b8820745a89e48ecb2ae7dce85d7b7d6a48d (patch) | |
tree | b51c82609cc685947859459961a33f2e1ef9ccf8 /metadata/md5-cache/dev-lang/teyjus-2.1 | |
parent | Merge updates from master (diff) | |
download | gentoo-d395b8820745a89e48ecb2ae7dce85d7b7d6a48d.tar.gz gentoo-d395b8820745a89e48ecb2ae7dce85d7b7d6a48d.tar.bz2 gentoo-d395b8820745a89e48ecb2ae7dce85d7b7d6a48d.zip |
2017-01-11 12:43:19 UTC
Diffstat (limited to 'metadata/md5-cache/dev-lang/teyjus-2.1')
-rw-r--r-- | metadata/md5-cache/dev-lang/teyjus-2.1 | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/metadata/md5-cache/dev-lang/teyjus-2.1 b/metadata/md5-cache/dev-lang/teyjus-2.1 new file mode 100644 index 000000000000..cdc42798c241 --- /dev/null +++ b/metadata/md5-cache/dev-lang/teyjus-2.1 @@ -0,0 +1,14 @@ +DEFINED_PHASES=compile install postinst postrm prepare +DEPEND=>=sys-devel/binutils-2.17:* >=sys-devel/gcc-2.95.3:* >=dev-lang/ocaml-3.10[ocamlopt?] emacs? ( virtual/emacs ) dev-util/omake +DESCRIPTION=Higher-order logic programming language Lambda Prolog +EAPI=6 +HOMEPAGE=http://teyjus.cs.umn.edu/ +IUSE=emacs examples +ocamlopt +KEYWORDS=~amd64 ~x86 +LICENSE=GPL-3 +RDEPEND=>=sys-devel/binutils-2.17:* >=sys-devel/gcc-2.95.3:* >=dev-lang/ocaml-3.10[ocamlopt?] emacs? ( virtual/emacs ) +SLOT=0/2.1 +SRC_URI=https://github.com/teyjus/teyjus/archive/v2.1.tar.gz -> teyjus-2.1.tar.gz +_eclass_exported_funcs=pkg_postrm:- pkg_postinst:- src_prepare:- src_compile:- src_install:- +_eclasses_=elisp-common 9f56c4e9bf1282dbfc2a5a09e1124e74 eutils 017377e73405d964cd0137088cddb9c3 multilib 165fc17c38d1b11dac2008280dab6e80 toolchain-funcs 1b1da0c45c555989dc5d832b54880783 versionator 99ae9d758cbe7cfed19170e7d48f5a9c +_md5_=c0dc59ee21a22f85be72582c799f333d |