Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add geniplate for agda 2.3.2 | Mark Wright | 2012-11-18 | 1 | -0/+14 |
| | | | | (Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F) | ||||
* | Add geniplate for agda 2.3.2 | Mark Wright | 2012-11-18 | 3 | -0/+44 |
(Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F) |