summary refs log tree commit diff
path: root/pkgs/development/libraries/agda/standard-library
Commit message (Expand)AuthorAge
* agdaPackages.standard-library: 1.7 -> 1.7.1Ingo Blechschmidt2021-11-29
* agdaPackages.standard-library: 1.6 -> 1.7Manuel Bärenz2021-07-15
* agdaPackages.standard-library: 1.5 -> 1.6 (#120180)Manuel Bärenz2021-04-23
* agda nixos test: add to passthru for agda + stdlibAlex Rice2021-03-30
* Merge pull request #110830 from iblech/patch-agdastdlib15Anderson Torres2021-02-03
|\
| * agdaPackages.standard-library: 1.4 -> 1.5Ingo Blechschmidt2021-01-27
* | Merge pull request #110512 from neosimsim/agda-dont-install-EverythingAnderson Torres2021-02-03
|\ \ | |/ |/|
| * agdaPackages.standard-library: don't install Everything filesAlexander Ben Nasrallah2021-01-24
* | treewide: remove stdenv where not neededPavol Rusnak2021-01-25
|/
* pkgs/development/libraries: stdenv.lib -> libBen Siraphob2021-01-21
* agdaPackages.standard-library: 1.3 -> 1.4Manuel Bärenz2020-10-19
* Agda: Add turion as maintainerAlex Rice2020-05-14
* agda.standard-library: 1.1 -> 1.3Alex Rice2020-05-14
* agda: rework builderAlex Rice2020-05-14
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-31 11:33:51 +0000