nixpkgs/pkgs/build-support/agda/ at c36498cc75206008b5666e6340999f4da4597c2f · pyrox.dev/nixpkgs · tangled

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / build-support / agda /

at c36498cc75206008b5666e6340999f4da4597c2f 2 files

agda.withPackages: add libraryFile to passthru

3 months ago

agdaPackages: switch to `--build-library`

5 months ago