nixpkgs/pkgs/build-support/agda
2023-01-12 22:26:05 +01:00
..
default.nix agda: pass through meta 2023-01-12 22:26:05 +01:00
lib.nix