Saturday

Friday

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:
29 Aug 2015
02:31 UTC

Legend
Arches
C E A F P L
Links