Gentoo Packages

Search

Install

Install this package:

emerge -a sci-mathematics/twelf

If the package is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask sci-mathematics/twelf

Or alternatively:

emerge --autounmask-write -a sci-mathematics/twelf

Package Information

Description:: Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory.
Homepage:: https://twelf.org/
License:: BSD-2

Versions

Version	EAPI	Keywords	Slot
1.7.1-r2	8	~amd64 ~x86	0/1.7.1-r2

Metadata

Description

Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory.

Upstream

Remote IDs:
- github: standardml/twelf

Raw Metadata XML

<pkgmetadata>
	<longdescription lang="en">
  Twelf is an implementation of the logical framework LF. It is used for
  logic programming and for the formalization of programming language
  theory.
  </longdescription>
	<upstream>
		<remote-id type="github">standardml/twelf</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

[Warning] USE flag 'doc' in ebuild 1.7.1-r2 is not documented in metadata.xml
[Warning] USE flag 'emacs' in ebuild 1.7.1-r2 is not documented in metadata.xml
[Warning] USE flag 'examples' in ebuild 1.7.1-r2 is not documented in metadata.xml
[Error] Missing md5-cache for ebuild twelf-1.7.1-r2
[Error] Package has no maintainers defined in metadata.xml

USE Flags

Manage flags for this package: euse -i <flag> -p sci-mathematics/twelf | euse -E <flag> -p sci-mathematics/twelf | euse -D <flag> -p sci-mathematics/twelf

Flag	Description	1.7.1-r2
doc	Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally	✓
emacs	Add support for GNU Emacs	✓
examples	Install examples, usually source code	✓

Files

50twelf-gentoo.el
twelf-1.7.1-Makefile.patch
twelf-1.7.1-doc-guide-Makefile.patch
twelf-1.7.1-doc-guide-twelf-dot-texi.patch
twelf-1.7.1-emacs-fix-old-style-backquotes-p1.patch
twelf-1.7.1-emacs-fix-old-style-backquotes-p2.patch
twelf-1.7.1-emacs-fix-old-style-backquotes-p3.patch
twelf-1.7.1-emacs-twelf-init.patch
twelf-1.7.1-emacs-twelf.patch
twelf-1.7.1-mlton-20180207.patch
twelf-1.7.1-mlton-mlb.patch
twelf-1.7.1-remove-svnversion.patch

Manifest

Type	File	Size	Versions

Unmatched Entries

Type	File	Size
DIST	twelf-src-1.7.1.tar.gz	1147610 bytes

sci-mathematics/twelf (gentoo)