aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* more eapi2 updatesJonathan-Christofer Demay2009-10-241-1/+0
* various eapi2 updatesJonathan-Christofer Demay2009-10-241-10/+7
* sci-mathematics/gappa(lib-coq): bump version to 0.12(.1)Jonathan-Christofer Demay2009-10-161-0/+55