Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/sci-mathematics/gappa
Commit message (Expand)AuthorAgeFilesLines
* 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