agda-pkg
agda-pkg copied to clipboard
Change Nix download command
It appears gist.github.com now uses zip instead of tar.