| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-06-21 | Fixed bug where the Cubical.agdai file wasn't being copied properly. | johngowers | |
| 2018-06-21 | Added the PKGBUILD and .SRCINFO for the package. | johngowers | |
| AUR : agda-git.git | |
| AUR Package Repositories | click here to return to the package base details page |
| summarylogtreecommitdiffstats |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-06-21 | Fixed bug where the Cubical.agdai file wasn't being copied properly. | johngowers | |
| 2018-06-21 | Added the PKGBUILD and .SRCINFO for the package. | johngowers | |