Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Drop ChangeLogs in favour of commit messages | Justin Lecher | 2016-01-07 | 1 | -34/+0 |
* | Convert all $Header$ to $Id$ tags as it has be done in gentoo.git | Justin Lecher | 2015-08-17 | 1 | -1/+1 |
* | remove last line | Christoph Junghans | 2014-09-16 | 1 | -1/+3 |
* | multiple version bumps | Jonathan-Christofer Demay | 2014-06-22 | 1 | -13/+17 |
* | sci-mathematics/gappalib-coq: Drop pcc and sparc keywords as deps are not key... | Justin Lecher | 2013-03-03 | 1 | -0/+4 |
* | sci-mathematics/gappalib-coq: version bump | Jonathan-Christofer Demay | 2013-01-14 | 1 | -1/+5 |
* | sci-mathematics/gappalib-coq: version bump | Jonathan-Christofer Demay | 2012-02-06 | 1 | -6/+4 |
* | Version Bump | Justin Lecher | 2011-06-25 | 1 | -1/+7 |
* | sci-mathematics/gappalib-coq: version bump | Jonathan-Christofer Demay | 2011-02-13 | 1 | -1/+5 |
* | 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 | 1 | -0/+4 |
* | sci-mathematics/gappalib-coq: QA fixes | Jonathan-Christofer Demay | 2010-07-04 | 1 | -0/+8 |