aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* [sci-mathematics/gappa] Silence repoman; improve license description; move do...Andreas K. Huettel (dilfridge)2010-07-043-12/+36
* sci-mathematics/gappa: Version bump 0.13.0Jonathan-Christofer Demay2010-07-043-4/+8
* sci-mathematics/gappa: QA fixesJonathan-Christofer Demay2010-07-043-0/+25
* more eapi2 updatesJonathan-Christofer Demay2009-10-242-2/+1
* various eapi2 updatesJonathan-Christofer Demay2009-10-242-11/+8
* sci-mathematics/gappa(lib-coq): bump version to 0.12(.1)Jonathan-Christofer Demay2009-10-162-4/+4
* frama-c and why + dependencies new ebuildsroot2009-04-052-0/+57