summaryrefslogtreecommitdiff
path: root/pkgs/development/libraries/agda
AgeCommit message (Expand)Author
2026-01-30agdaPackages.agda-prelude: add updateScript and follow version conven… (#48...Naïm Camille Favier
2026-01-30agdaPackages.agda-prelude: add updateScript and follow version conventionjopejoe1
2026-01-30agdaPackages._1lab: add updateScript and make version follow conventionjopejoe1
2025-12-15agdaPackages.agda-categories: fix hash mismatch errorJustin Restivo
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2025-10-12agdaPackages.agdarsec: 0.4.1 -> 0.5.0-unstable-2025-08-05 (#451024)Naïm Camille Favier
2025-10-11agdaPackages.generic: dropMichael Daniels
2025-10-11agdaPackages.agdarsec: 0.4.1 -> 0.5.0-unstable-2025-08-05Naïm Camille Favier
2025-10-06agdaPackages.agda2hs-base: don't hard code agda2hs source namesternenseemann
2025-10-05treewide: remove redundant parenthesesWolfgang Walther
2025-10-02agdaPackages.agda2hs: init at 1.3-unstable-2025-07-25wrvsrx
2025-09-25various: remove superflous usages of pnameGuy Chronister
2025-09-08agdaPackages.agda-categories: 0.2.0 -> 0.3.0R. Ryantm
2025-08-13agdaPackages.standard-library: 2.2-unstable-2025-07-03 -> 2.3 (#430358)Naïm Camille Favier
2025-08-13agdaPackages.cubical: 0.8 -> 0.9 (#430565)Vladimír Čunát
2025-08-11agdaPackages.standard-library: 2.2-unstable-2025-07-03 -> 2.3Naïm Camille Favier
2025-08-10agdaPackages.cubical: 0.8 -> 0.9Naïm Camille Favier
2025-07-30Merge staging-next into stagingnixpkgs-ci[bot]
2025-07-28treewide: conform descriptions to the standardsmivorasu
2025-07-16agdaPackages: switch to `--build-library`Naïm Camille Favier
2025-07-14agdaPackages.generics: fix buildNaïm Camille Favier
2025-07-14agdaPackages.cubical-mini: nightly-20241214 -> 0.5-unstable-2025-06-13Naïm Camille Favier
2025-07-14agdaPackages._1lab: unstable-2024-08-05 -> unstable-2025-07-01Naïm Camille Favier
2025-07-14agdaPackages.standard-library: 2.2 -> 2.2-unstable-2025-07-03Naïm Camille Favier
2025-05-19agdaPackages.cubical: 0.7 -> 0.8Naïm Favier
2025-04-08Revert "treewide: replace `rev` with `tag`"Winter
2025-04-07treewide: replace `rev` with `tag`Pol Dellaiera
2025-03-14treewide: remove unused rec expressionsSigmanificient
2025-01-21agdaPackages.standard-library: 2.1.1 -> 2.2R. Ryantm
2024-12-19cubical-mini: init at nightly-20241214thelissimus
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-09-11agdaPackages.standard-library: 2.1.1-rc2 -> 2.1.1Ingo Blechschmidt
2024-08-22agdaPackages.agda-prelude: unstable-2023-10-04 -> unstable-2024-08-22Naïm Favier
2024-08-21Merge pull request #336351 from iblech/patch-agda-stdlib-2.1.1rc2Naïm Favier
2024-08-21agdaPackages.standard-library: 2.1 -> 2.1.1-rc2Ingo Blechschmidt
2024-08-20agdaPackages._1lab: unstable-2024-03-07 -> unstable-2024-08-05Naïm Favier
2024-07-27agdaPackages.standard-library: 2.0 -> 2.1R. Ryantm
2024-07-01agdaPackages.generics: init at 1.0.1Manuel Bärenz
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt
2024-03-21Merge branch master into haskell-updatessternenseemann
2024-03-21treewide: remove licenses.agpl3Jussi Kuokkanen
2024-03-19agdaPackages._1lab: 2023-12-04 -> 2024-03-07Naïm Favier
2024-03-18agdaPackages.agda-categories: remove heap size increaseNaïm Favier
2024-02-18agdaPackages.cubical: add maintainer phijorPhilipp Joram
2024-02-12agdaPackages.cubical: 0.6 -> 0.7Naïm Favier
2024-01-06agdaPackages._1lab: disable debug printingNaïm Favier
2023-12-27agdaPackages.agdarsec: mark as brokenNaïm Favier
2023-12-27agdaPackages.agda-categories: 0.1.7.2 -> 0.2.0Naïm Favier
2023-12-23agdaPackages.functional-linear-algebra: 0.4.1 -> 0.5.0Naïm Favier
2023-12-12agdaPackages.standard-library: 1.7.3 -> 2.0Naïm Favier
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 21:37:20 +0000