Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Second try to clean spaces in metadata.xml | 2017-11-18 | 1 | -3/+3 | |
* | Consistently ident with tabs | 2017-11-18 | 1 | -5/+5 | |
* | metadata.xml: Set type | 2016-01-25 | 1 | -1/+1 | |
* | metadata.xml: convert hard -> proj | 2016-01-25 | 1 | -1/+4 | |
* | Revert "Gentoo does https by default now" | 2015-06-21 | 1 | -1/+1 | |
* | Gentoo does https by default now | 2015-06-21 | 1 | -1/+1 | |
* | big fixes of metadata and package sub-herd re-distribution | 2013-06-18 | 1 | -9/+6 | |
* | sci-mathematics/gappalib-coq: Drop pcc and sparc keywords as deps are not key... | 2013-03-03 | 1 | -5/+5 | |
* | sci-mathematics/gappalib-coq: version bump | 2012-02-06 | 1 | -1/+1 | |
* | switch sci herd to sci-* sub herds, full overlay re-manifest | 2012-01-03 | 1 | -1/+1 | |
* | sci-mathematics/gappalib-coq: QA fixes | 2010-07-04 | 1 | -0/+13 |