| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Drop old. |   Sergei Trofimovich | 2015-08-02 | 1 | -59/+0 |
| | | | | | (Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA) | ||||
| * | Bump agda-stdlib to 0.7 |   Mark Wright | 2013-09-13 | 1 | -0/+59 |
| (Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F) | |||||
GitWeb