| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-11-12 | Add haskell-case-insensitive dependency. | johngowers | |
| 2020-04-26 | Merge branch 'master' of ssh://aur.archlinux.org/agda-git | johngowers | |
| Merge master into branch for updated commit message. | |||
| 2020-04-26 | Added missing dependencies and modified PKGBUILD to build after upstream ↵ | johngowers | |
| commit 5dd03673969. | |||
| 2020-04-26 | Added missing dependencies and modified PKGBUILD to build after upstream ↵ | johngowers | |
| commit 427eee. | |||
| 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 | |