Skip to content
This repository was archived by the owner on Apr 26, 2026. It is now read-only.

Change Nix download command#48

Open
bbarker wants to merge 1 commit into
agda:masterfrom
bbarker:patch-2
Open

Change Nix download command#48
bbarker wants to merge 1 commit into
agda:masterfrom
bbarker:patch-2

Conversation

@bbarker
Copy link
Copy Markdown
Contributor

@bbarker bbarker commented Jul 17, 2021

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

It appears gist.github.com now uses zip instead of tar.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant