Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/kodkod/ChangeLog
Commit message (Collapse)AuthorAgeFilesLines
* Add missing eclassJustin Lecher2015-06-281-1/+5
| | | | (Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key E9402A79B03529A2!)
* Use python-any-r1 for waf.Michał Górny2015-01-031-2/+5
| | | | (Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key EFB4464E!)
* Use waf 1.7.16 instead of 1.7.6 in kodkod to try to fix Bug 513978. Specify ↵Mark Wright2014-06-221-1/+6
| | | | | | the classpath to javadoc. Use the javadoc -Xdoclint:none option for java 1.8 and later versions. (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Fix bug 458462 - sci-mathematics/kodkod-1.5.2: fails to build with ↵Mark Wright2014-02-111-2/+7
| | | | | | 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. (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Fix bug 453162 - workaround Java 7 Changes in Most Specific Varargs Method ↵Mark Wright2013-02-021-1/+8
| | | | | | Selection - by removing an overloaded method to allow the dumb javac to compile it. (Portage version: 2.1.11.50/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Fix invalid metadata.Diego Elio Pettenò2013-01-201-2/+5
| | | | (Portage version: 2.2.0_alpha154/cvs/Linux x86_64, signed Manifest commit with key 1CD13C8AD4301342)
* Add kodkod. Required by sci-mathematics/kodkodi which is necessary for ↵Mark Wright2012-12-051-0/+10
sci-mathematics/isabelle nitpick couter-example checking. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)