| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | remove last line |   Christoph Junghans | 2014-09-16 | 2 | -2/+3 |
| * | fix Manifests: thin-manifests |   Jauhien Piatlicki | 2014-08-31 | 1 | -3/+0 |
| * | Fix manifests regression |   Jonathan-Christofer Demay | 2014-07-19 | 1 | -0/+3 |
| * | Several DESTDIR fixes | Jonathan-Christofer Demay | 2014-07-19 | 1 | -3/+0 |
| * | multiple move to EAPI=5 and regression fixes | Jonathan-Christofer Demay | 2014-06-22 | 2 | -2/+2 |
| * | multiple version bumps | Jonathan-Christofer Demay | 2014-06-22 | 5 | -120/+56 |
| * | Sanitize ebuild header |   Justin Lecher | 2014-01-30 | 1 | -1/+1 |
| * | Fix typo in gappalib-coq-0.18.0.ebuild |   Keshav Kini | 2014-01-18 | 1 | -1/+1 |
| * | big fixes of metadata and package sub-herd re-distribution |   Sébastien Fabbro | 2013-06-18 | 1 | -9/+6 |
| * | sci-mathematics/gappalib-coq: Drop pcc and sparc keywords as deps are not key... | Justin Lecher | 2013-03-03 | 4 | -24/+22 |
| * | sci-mathematics/gappalib-coq: version bump | Jonathan-Christofer Demay | 2013-01-14 | 4 | -8/+87 |
| * | sci-mathematics/gappalib-coq: version bump | Jonathan-Christofer Demay | 2012-02-06 | 4 | -22/+24 |
| * | Convert to thin manifests (as suggested by alexxy and jlec) |   Andreas K. Huettel (dilfridge) | 2012-01-14 | 1 | -3/+0 |
| * | switch sci herd to sci-* sub herds, full overlay re-manifest |   Sébastien Fabbro | 2012-01-03 | 2 | -12/+2 |
| * | Version Bump | Justin Lecher | 2011-06-25 | 4 | -38/+53 |
| * | sci-mathematics/gappalib-coq: sci-mathematics/flocq added as a dependency | Jonathan-Christofer Demay | 2011-02-17 | 2 | -2/+3 |
| * | sci-mathematics/gappalib-coq: version bump | Jonathan-Christofer Demay | 2011-02-13 | 3 | -5/+9 |
| * | sci-mathematics/frama-c: various EAPI3 cleanups | Jonathan-Christofer Demay | 2010-10-19 | 1 | -1/+1 |
| * | sci-mathematics/*: some ChangeLog clean-ups | Jonathan-Christofer Demay | 2010-07-08 | 1 | -1/+1 |
| * | sci-mathematics/gappalib-coq: Version bump 0.13 | Jonathan-Christofer Demay | 2010-07-04 | 3 | -4/+8 |
| * | sci-mathematics/gappalib-coq: QA fixes | Jonathan-Christofer Demay | 2010-07-04 | 3 | -0/+23 |
| * | more eapi2 updates | Jonathan-Christofer Demay | 2009-10-24 | 2 | -2/+1 |
| * | various eapi2 updates | Jonathan-Christofer Demay | 2009-10-24 | 2 | -10/+7 |
| * | sci-mathematics/gappa(lib-coq): bump version to 0.12(.1) | Jonathan-Christofer Demay | 2009-10-16 | 2 | -4/+4 |
| * | frama-c and why + dependencies new ebuilds |   root | 2009-04-05 | 2 | -0/+39 |
GitWeb