diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-04-06 22:33:41 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-04-06 22:33:41 +0100 |
| commit | e68d405c5d712af4387159df07e226217bdda049 (patch) | |
| tree | 009ab0f3d427f0813e62930d71802cb054c07e30 /metadata/md5-cache/sci-mathematics/twelf-1.7.1-r2 | |
| parent | 401101f9c8077911929d3f2b60a37098460a5d89 (diff) | |
gentoo resync : 06.04.2022
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/twelf-1.7.1-r2')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/twelf-1.7.1-r2 | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/metadata/md5-cache/sci-mathematics/twelf-1.7.1-r2 b/metadata/md5-cache/sci-mathematics/twelf-1.7.1-r2 new file mode 100644 index 000000000000..3ad820ad3bb9 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/twelf-1.7.1-r2 @@ -0,0 +1,14 @@ +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/ +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 f9c72486dbcb18b633c9d0949211d86e +_md5_=71800e353bd7603fad6982201a69f30a |