summary refs log tree commit diff
path: root/gnu/packages/agda.scm
AgeCommit message (Expand)Author
2023-02-16gnu: Remove unneeded module imports.Efraim Flashner
2022-05-12gnu: agda.scm: Add missing import.Efraim Flashner
2022-05-08gnu: agda: Use G-expressions.Tobias Geerinckx-Rice
2022-05-08gnu: agda: Update to 2.6.2.2.Tobias Geerinckx-Rice
2021-12-17gnu: agda: Update to 2.6.2.1.Tobias Geerinckx-Rice
2021-12-13gnu: Simplify package inputs.Ludovic Courtès
2021-10-08gnu: Update Haskell ecosystem.Lars-Dominik Braun
2020-08-19gnu: agda: Adjust for using shared libraries.Timothy Sample
2020-03-16gnu: agda: Use HTTPS home page.Tobias Geerinckx-Rice
2019-11-20gnu: agda: Update to 2.6.0.1.Timothy Sample
2019-08-31gnu: Move non-compilers out of haskell.scm.Robert Vollmert
2019-08-28gnu: agda-ial: Fix install step.John Soo
2019-08-28gnu: agda-ial: Fetch source from Git.Ludovic Courtès
2019-08-28gnu: Add agda-ial.John Soo
2019-08-07gnu: Remove ghc-parsec, ghc-stm, ghc-text, ghc-xhtml.Robert Vollmert
2019-02-24gnu: agda: Update to 2.5.4.2.Tobias Geerinckx-Rice
2018-10-19build-system/haskell: Use 'strip-store-file-name'.Alex Vong
2018-10-01gnu: agda: Fix build.Ricardo Wurmus
2018-10-01gnu: agda: Update to 2.5.4.1.Timothy Sample
2018-10-01gnu: ghc-mtl: Remove built-in Haskell package.Timothy Sample
2018-07-29gnu: Add emacs-agda2-modeAlex ter Weele
2018-07-29gnu: agda: Compile .agda files.Alex ter Weele
2018-02-26gnu: Add agda.Alex ter Weele
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-18 01:30:29 +0000