Monday

sci-mathematics/twelf

Twelf is an implementation of the logical framework LF.

15 Jan 2014; Mark Wright (gienah)
+files/twelf-1.7.1-mlton-mlb.patch, twelf-1.7.1.ebuild:
Apply patch from upstream to fix twelf build with mlton-20130715. Add -fno-PIE
to fix compile with mlton-20130715 on Gentoo hardened.
alphaamd64armhppaia64ppcppc64sparcx86
1.7.1 ~ ~
sci-mathematics Homepage BSD-2 ChangeLog Metadata Similar Bugs Forums

Last update:
28 Jul 2014
17:31 UTC

Legend
Arches
C E A F P L
Links