summaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
AgeCommit message (Expand)Author
2023-11-14gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa280....Josselin Poiret
2023-11-14gnu: agda-cubical: Update to 0.6....Josselin Poiret
2023-11-14gnu: agda-categories: Adapt to agda-stdlib 1.7.3....Josselin Poiret
2023-11-14gnu: agda-stdlib: Update to 1.7.3....Josselin Poiret
2023-11-14gnu: agda: Update to 2.6.4....Josselin Poiret
2023-10-11gnu: agda-cubical: Add source file-name....Efraim Flashner
2023-07-22gnu: agda-cubical: Update to 0.5....Josselin Poiret
2023-06-04gnu: agda-ial: Update to ded30c410d5d40142249686572aa1acd1b2f8cc7....Josselin Poiret
2023-06-04gnu: Add agda-1lab....Josselin Poiret
2023-06-04gnu: Add agda-cubical....Josselin Poiret
2023-06-04gnu: Add agda-categories....Josselin Poiret
2023-06-04gnu: Add agda-stdlib....Josselin Poiret
2023-06-04gnu: agda: Add AGDA_LIBDIRS search-path....Josselin Poiret
2023-06-04gnu: emacs-agda2-mode: Switch to G-Exps....Josselin Poiret
2023-06-04gnu: emacs-agda2-mode: No longer inherit from agda....Josselin Poiret
2023-06-04gnu: agda: Build info manual....Josselin Poiret
2023-06-04gnu: agda: Update to 2.6.3 and switch to git-fetch....Josselin Poiret
2023-02-26gnu: Use HACKAGE-URI for packages from Hackage....Lars-Dominik Braun
2023-02-26gnu: Add upstream-name property to Haskell packages....Lars-Dominik Braun
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-mode...Alex ter Weele
2018-07-29gnu: agda: Compile .agda files....Alex ter Weele
2018-02-26gnu: Add agda....Alex ter Weele
generated by cgit v1.2.3 (git 2.46.0) at 2024-08-08 06:00:30 +0000