| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/gappalib-coq: version bump |   Jonathan-Christofer Demay | 2012-02-06 | 1 | -1/+1 |
| * | switch sci herd to sci-* sub herds, full overlay re-manifest |   Sébastien Fabbro | 2012-01-03 | 1 | -1/+1 |
| * | sci-mathematics/gappalib-coq: QA fixes | Jonathan-Christofer Demay | 2010-07-04 | 1 | -0/+13 |
GitWeb