Thursday

sci-mathematics/kodkod

a constraint solver for relational logic

11 Feb 2014; Mark Wright (gienah) kodkod-1.5.2.ebuild:
Fix bug 458462 - sci-mathematics/kodkod-1.5.2: fails to build with
JAVA_PKG_STRICT, fix by me. Remove dosym which was a workaround to EAPI 5
subslot depends that has since been fixed in the java eclasses.
alphaamd64armhppaia64ppcppc64sparcx86
1.5.2 ~ ~
sci-mathematics Homepage MIT ChangeLog Metadata Similar Bugs Forums

Last update:
24 Apr 2014
18:18 UTC

Legend
Arches
C E A F P L
Links