sci-mathematics/
twelf

Implementation of the logical framework LF

http://twelf.org/

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
Warnings For All Versions
UnstableOnly for arches: [ amd64, x86 ], all versions are unstable: [ 1.7.1, 1.7.1-r1 ]
UnstableOnly for arches: [ amd64, x86 ], all versions are unstable: [ 1.7.1, 1.7.1-r1 ]
1.7.1-r1 : 0 T ~amd64 ~x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
1.7.1 : 0 T ~amd64 ~x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
DeprecatedEapi uses deprecated EAPI 5
RedundantVersion slot(0) keywords are overshadowed by version: 1.7.1-r1
DeprecatedEapi uses deprecated EAPI 5
RedundantVersion slot(0) keywords are overshadowed by version: 1.7.1-r1

Package Metadata

Changelog