Monday

Sunday

sci-mathematics/twelf

Twelf is an implementation of the logical framework LF

10 Aug 2014; Sergei Trofimovich (slyfox) twelf-1.7.1.ebuild:
QA: drop trailing '.' from DESCRIPTION
alphaamd64armhppaia64ppcppc64sparcx86
1.7.1 ~ ~
sci-mathematics Homepage BSD-2 ChangeLog Metadata Similar Bugs Forums

Last update:
01 Sep 2014
10:31 UTC

Legend
Arches
C E A F P L
Links