Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | more eapi2 updates | Jonathan-Christofer Demay | 2009-10-24 | 1 | -1/+0 |
* | various eapi2 updates | Jonathan-Christofer Demay | 2009-10-24 | 1 | -10/+7 |
* | sci-mathematics/gappa(lib-coq): bump version to 0.12(.1) | Jonathan-Christofer Demay | 2009-10-16 | 1 | -0/+55 |