summaryrefslogtreecommitdiff
path: root/pkgs/development/libraries/agda/iowa-stdlib
AgeCommit message (Expand)Author
2025-10-05treewide: remove redundant parenthesesWolfgang Walther
2025-04-08Revert "treewide: replace `rev` with `tag`"Winter
2025-04-07treewide: replace `rev` with `tag`Pol Dellaiera
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2021-01-25treewide: remove stdenv where not neededPavol Rusnak
2021-01-21pkgs/development/libraries: stdenv.lib -> libBen Siraphob
2020-05-14Agda: Add turion as maintainerAlex Rice
2020-05-14iowa-stdlib: update homepage URLKeshav Kini
2020-05-14agda.iowa-stdlib: mark brokenAlex Rice
2020-05-14agda: rework builderAlex Rice