| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-08-21 | Fix installation with Agda 2.6.2.2 | Philipp Joram | |
| 2022-07-15 | Fix installation with Agda 2.6.2.1 | Philipp Joram | |
| 2022-03-24 | Initial import | Philipp Joram | |
| AUR : haskell-agda-language-server.git | |
| AUR Package Repositories | click here to return to the package base details page |
| summarylogtreecommitdiffstats |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-08-21 | Fix installation with Agda 2.6.2.2 | Philipp Joram | |
| 2022-07-15 | Fix installation with Agda 2.6.2.1 | Philipp Joram | |
| 2022-03-24 | Initial import | Philipp Joram | |