nixpkgs/pkgs/build-support/agda
Robert Hensing fbafeb7ad5 treewide: runCommandNoCC -> runCommand
This has been synonymous for ~5y.
2021-08-15 17:36:41 +02:00
..
default.nix
lib.nix