Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/sci-mathematics/gappalib-coq
Commit message (Expand)AuthorAgeFilesLines
* big fixes of metadata and package sub-herd re-distributionSébastien Fabbro2013-06-181-9/+6
* sci-mathematics/gappalib-coq: Drop pcc and sparc keywords as deps are not key...Justin Lecher2013-03-034-24/+22
* sci-mathematics/gappalib-coq: version bumpJonathan-Christofer Demay2013-01-144-8/+87
* sci-mathematics/gappalib-coq: version bumpJonathan-Christofer Demay2012-02-064-22/+24
* 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-032-12/+2
* Version BumpJustin Lecher2011-06-254-38/+53
* sci-mathematics/gappalib-coq: sci-mathematics/flocq added as a dependencyJonathan-Christofer Demay2011-02-172-2/+3
* sci-mathematics/gappalib-coq: version bumpJonathan-Christofer Demay2011-02-133-5/+9
* sci-mathematics/frama-c: various EAPI3 cleanupsJonathan-Christofer Demay2010-10-191-1/+1
* sci-mathematics/*: some ChangeLog clean-upsJonathan-Christofer Demay2010-07-081-1/+1
* sci-mathematics/gappalib-coq: Version bump 0.13Jonathan-Christofer Demay2010-07-043-4/+8
* sci-mathematics/gappalib-coq: QA fixesJonathan-Christofer Demay2010-07-043-0/+23
* more eapi2 updatesJonathan-Christofer Demay2009-10-242-2/+1
* various eapi2 updatesJonathan-Christofer Demay2009-10-242-10/+7
* 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/+39