pkgs/build-support/agda · nixpkgs · Tangled

What happens if I push all of nixpkgs

nixpkgs pkgs build-support agda

2 files

at python-updates

· agda: fixes for 2.8.0 (#424180) · 1y ago

agda: fixes for 2.8.0 (#424180)

agdaPackages: switch to `--build-library`