summaryrefslogtreecommitdiff
path: root/pkgs/development/libraries/agda/standard-library
AgeCommit message (Expand)Author
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2025-08-11agdaPackages.standard-library: 2.2-unstable-2025-07-03 -> 2.3Naïm Camille Favier
2025-07-16agdaPackages: switch to `--build-library`Naïm Camille Favier
2025-07-14agdaPackages.standard-library: 2.2 -> 2.2-unstable-2025-07-03Naïm Camille Favier
2025-01-21agdaPackages.standard-library: 2.1.1 -> 2.2R. Ryantm
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-09-11agdaPackages.standard-library: 2.1.1-rc2 -> 2.1.1Ingo Blechschmidt
2024-08-21agdaPackages.standard-library: 2.1 -> 2.1.1-rc2Ingo Blechschmidt
2024-07-27agdaPackages.standard-library: 2.0 -> 2.1R. Ryantm
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt
2023-12-12agdaPackages.standard-library: 1.7.3 -> 2.0Naïm Favier
2023-10-24agdaPackages.standard-library: 1.7.2 -> 1.7.3Naïm Favier
2023-02-14agda: 2.6.2.2 -> 2.6.3Ingo Blechschmidt
2021-11-29agdaPackages.standard-library: 1.7 -> 1.7.1Ingo Blechschmidt
2021-07-15agdaPackages.standard-library: 1.6 -> 1.7Manuel Bärenz
2021-04-23agdaPackages.standard-library: 1.5 -> 1.6 (#120180)Manuel Bärenz
2021-03-30agda nixos test: add to passthru for agda + stdlibAlex Rice
2021-02-03Merge pull request #110830 from iblech/patch-agdastdlib15Anderson Torres
2021-02-03Merge pull request #110512 from neosimsim/agda-dont-install-EverythingAnderson Torres
2021-01-27agdaPackages.standard-library: 1.4 -> 1.5Ingo Blechschmidt
2021-01-25treewide: remove stdenv where not neededPavol Rusnak
2021-01-24agdaPackages.standard-library: don't install Everything filesAlexander Ben Nasrallah
2021-01-21pkgs/development/libraries: stdenv.lib -> libBen Siraphob
2020-10-19agdaPackages.standard-library: 1.3 -> 1.4Manuel Bärenz
2020-05-14Agda: Add turion as maintainerAlex Rice
2020-05-14agda.standard-library: 1.1 -> 1.3Alex Rice
2020-05-14agda: rework builderAlex Rice
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-23 21:29:04 +0000