summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Fix bug 458462 - sci-mathematics/kodkod-1.5.2: fails to build with ↵Mark Wright2014-02-113-11/+42
| | | | | | | 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. Package-Manager: portage-2.2.8-r1/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Fix bug 453162 - workaround Java 7 Changes in Most Specific Varargs Method ↵Mark Wright2013-02-024-13/+46
| | | | | | | Selection - by removing an overloaded method to allow the dumb javac to compile it. Package-Manager: portage-2.1.11.50/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Fix invalid metadata.Diego Elio Pettenò2013-01-203-8/+15
| | | | | Package-Manager: portage-2.2.0_alpha154/cvs/Linux x86_64 Manifest-Sign-Key: 0x1CD13C8AD4301342
* Add kodkod. Required by sci-mathematics/kodkodi which is necessary for ↵Mark Wright2012-12-053-1/+131
| | | | | | | sci-mathematics/isabelle nitpick couter-example checking. Package-Manager: portage-2.1.11.33/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Add kodkod. Required by sci-mathematics/kodkodi which is necessary for ↵Mark Wright2012-12-052-0/+14
sci-mathematics/isabelle nitpick couter-example checking. Package-Manager: portage-2.1.11.33/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F