| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/agda: allow ghc-8.10.4 |   Sergei Trofimovich | 2021-03-15 | 1 | -1/+4 |
| | | | | | | Package-Manager: Portage-3.0.17, Repoman-3.0.2 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org> | ||||
| * | sci-mathematics/agda: set USE=-cpphs by default | Sergei Trofimovich | 2020-12-27 | 1 | -1/+1 |
| | | | | | | | | | | USE=cpphs is not compatible to profiling builds. Reported-by: Toralf Förster Closes: https://bugs.gentoo.org/761805 Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org> | ||||
| * | sci-mathematics/agda: bump up to 2.6.1.2 |   Jack Todaro | 2020-12-17 | 1 | -0/+139 |
| Signed-off-by: Jack Todaro <solpeth@posteo.org> Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org> | |||||
GitWeb