Sunday

Saturday

sci-mathematics/twelf

Implementation of the logical framework LF

21 Mar 2015; Justin Lecher (jlec) twelf-1.7.1.ebuild:
use dobin instead of exeinto /usr/bin/ && doexe; swicth from base eclass to
epatch
alphaamd64armhppaia64ppcppc64sparcx86
1.7.1 ~ ~
sci-mathematics Homepage BSD-2 ChangeLog Metadata Similar Bugs Forums

Last update:
03 May 2015
11:01 UTC

Legend
Arches
C E A F P L
Links