agda-pkg icon indicating copy to clipboard operation
agda-pkg copied to clipboard
verified publisher icon agda

Change Nix download command

Open bbarker opened this issue 4 years ago • 0 comments

It appears gist.github.com now uses zip instead of tar.

bbarker avatar Jul 17 '21 22:07 bbarker