about summary refs log tree commit diff
path: root/pkgs/development/libraries/agda/iowa-stdlib
AgeCommit message (Expand)AuthorFilesLines
2021-01-25treewide: remove stdenv where not neededPavol Rusnak1-1/+1
2021-01-21pkgs/development/libraries: stdenv.lib -> libBen Siraphob1-4/+4
2020-05-14Agda: Add turion as maintainerAlex Rice1-1/+1
2020-05-14iowa-stdlib: update homepage URLKeshav Kini1-1/+1
2020-05-14agda.iowa-stdlib: mark brokenAlex Rice1-0/+2
2020-05-14agda: rework builderAlex Rice1-0/+29