Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/sci-mathematics/gappalib-coq/Manifest
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/gappalib-coq: Drop pcc and sparc keywords as deps are not key...Justin Lecher2013-03-031-4/+0
* sci-mathematics/gappalib-coq: version bumpJonathan-Christofer Demay2013-01-141-4/+5
* sci-mathematics/gappalib-coq: version bumpJonathan-Christofer Demay2012-02-061-0/+3
* Convert to thin manifests (as suggested by alexxy and jlec)Andreas K. Huettel (dilfridge)2012-01-141-3/+0
* switch sci herd to sci-* sub herds, full overlay re-manifestSébastien Fabbro2012-01-031-11/+1
* Version BumpJustin Lecher2011-06-251-3/+13
* sci-mathematics/gappalib-coq: sci-mathematics/flocq added as a dependencyJonathan-Christofer Demay2011-02-171-1/+1
* sci-mathematics/gappalib-coq: version bumpJonathan-Christofer Demay2011-02-131-3/+3
* sci-mathematics/frama-c: various EAPI3 cleanupsJonathan-Christofer Demay2010-10-191-1/+1
* sci-mathematics/gappalib-coq: Version bump 0.13Jonathan-Christofer Demay2010-07-041-3/+3
* sci-mathematics/gappalib-coq: QA fixesJonathan-Christofer Demay2010-07-041-0/+2
* more eapi2 updatesJonathan-Christofer Demay2009-10-241-1/+1
* various eapi2 updatesJonathan-Christofer Demay2009-10-241-1/+1
* sci-mathematics/gappa(lib-coq): bump version to 0.12(.1)Jonathan-Christofer Demay2009-10-161-2/+2
* frama-c and why + dependencies new ebuildsroot2009-04-051-0/+2