| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-11-12 | Add haskell-case-insensitive dependency. | johngowers |
| 2020-04-26 | Merge branch 'master' of ssh://aur.archlinux.org/agda-git | johngowers |
| 2020-04-26 | Added missing dependencies and modified PKGBUILD to build after upstream comm... | johngowers |
| 2020-04-26 | Added missing dependencies and modified PKGBUILD to build after upstream comm... | johngowers |
| 2019-04-22 | Added dependencies to PKGBUILD. | johngowers |
| 2019-04-22 | Patched to version 2.6.0 - thanks to Sean Anderson. | johngowers |
| 2018-06-24 | Modification to ensure that the Cubical interfaces are properly packaged. | johngowers |
| 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 |