| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/agda: allow ghc-8.10.4 |   Sergei Trofimovich | 2021-03-15 | 1 | -1/+4 |
| * | sci-mathematics/agda: set USE=-cpphs by default | Sergei Trofimovich | 2020-12-27 | 1 | -1/+1 |
| * | sci-mathematics/agda: bump up to 2.6.1.2 |   Jack Todaro | 2020-12-17 | 1 | -0/+139 |
GitWeb