Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/kodkodi
Commit message (Collapse)AuthorAgeFilesLines
* fix bug 466776 - typo in email addressMark Wright2013-05-243-8/+12
| | | | | Package-Manager: portage-2.2.0_alpha176/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example ↵Mark Wright2012-12-053-1/+139
| | | | | | | checking. Package-Manager: portage-2.1.11.33/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example ↵Mark Wright2012-12-052-0/+13
checking. Package-Manager: portage-2.1.11.33/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F