Sunday

Saturday

sci-mathematics/kodkod

a constraint solver for relational logic

22 Jun 2014; Mark Wright (gienah) kodkod-1.5.2.ebuild:
Use waf 1.7.16 instead of 1.7.6 in kodkod to try to fix Bug 513978. Specify
the classpath to javadoc.Use the javadoc -Xdoclint:none option for java 1.8
and later versions.
alphaamd64armhppaia64ppcppc64sparcx86
1.5.2 ~ ~
sci-mathematics Homepage MIT ChangeLog Metadata Similar Bugs Forums

Last update:
23 Nov 2014
10:31 UTC

Legend
Arches
C E A F P L
Links