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

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / build-support / agda /

at 24.11-pre 2 files

haskellPackages.Agda: Split outputs to reduce closure size

2 years ago

agda: Don't be too picky about `everythingFile`

2 years ago