| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Loosen cpphs dep in agda-2.4.2.2-r1 |   Mark Wright | 2015-04-04 | 1 | -3/+4 |
| | | | | | (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key 618E971F) | ||||
| * | Bump agda to 2.4.2.2-r1 | Mark Wright | 2014-12-14 | 1 | -0/+127 |
| (Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key 618E971F) | |||||
GitWeb