/gnu/bootloader/

a> index : guix
Wojtek's customized Guix
aboutsummaryrefslogtreecommitdiff
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