mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2021-01-21	pkgs/development/libraries: stdenv.lib -> lib	Ben Siraphob	1	-4/+4
2020-10-19	agdaPackages.standard-library: 1.3 -> 1.4	Manuel Bärenz	1	-2/+2
2020-05-14	Agda: Add turion as maintainer	Alex Rice	1	-1/+1
2020-05-14	agda.standard-library: 1.1 -> 1.3	Alex Rice	1	-2/+2
2020-05-14	agda: rework builder	Alex Rice	1	-0/+26