aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* remove last lineChristoph Junghans2014-09-162-2/+3
* fix Manifests: thin-manifestsJauhien Piatlicki2014-08-311-3/+0
* Fix manifests regressionJonathan-Christofer Demay2014-07-191-0/+3
* Several DESTDIR fixesJonathan-Christofer Demay2014-07-191-3/+0
* multiple move to EAPI=5 and regression fixesJonathan-Christofer Demay2014-06-222-2/+2
* multiple version bumpsJonathan-Christofer Demay2014-06-225-120/+56
* Sanitize ebuild headerJustin Lecher2014-01-301-1/+1
* Fix typo in gappalib-coq-0.18.0.ebuildKeshav Kini2014-01-181-1/+1
* 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