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
* sci-mathematics/gappalib-coq: drop oldAndrew Ammerlaan2021-03-042-34/+0
* sci-mathematics/gappalib-coq: version bump 1.4.6Andrew Ammerlaan2021-03-042-0/+36
* Update Manifests to new hashesJustin Lecher2017-12-101-1/+1
* Second try to clean spaces in metadata.xmlJustin Lecher2017-11-181-3/+3
* Consistently ident with tabsJustin Lecher2017-11-181-5/+5
* Drop leftover from CVS in HEADERJustin Lecher2017-02-251-1/+0
* Drop quoting form EAPIJustin Lecher2017-02-051-1/+1
* metadata.xml: Set typeJustin Lecher2016-01-251-1/+1
* metadata.xml: convert hard -> projJustin Lecher2016-01-251-1/+4
* Drop ChangeLogs in favour of commit messagesJustin Lecher2016-01-071-34/+0
* Convert all $Header$ to $Id$ tags as it has be done in gentoo.gitJustin Lecher2015-08-172-2/+2
* Revert "Gentoo does https by default now"Justin Lecher2015-06-211-1/+1
* Gentoo does https by default nowJustin Lecher2015-06-211-1/+1
* 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