Skip to content

Instantly share code, notes, and snippets.

@GrahamcOfBorg
Created May 27, 2020 08:03
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save GrahamcOfBorg/ac8325d4d35bd8db1e4fb5dfe1c5e32d to your computer and use it in GitHub Desktop.
Save GrahamcOfBorg/ac8325d4d35bd8db1e4fb5dfe1c5e32d to your computer and use it in GitHub Desktop.
aarch64-linux agda-pkg
x86_64-linux python27Packages.ponywhoosh
i686-linux agda-pkg
x86_64-darwin python27Packages.ponywhoosh
i686-linux python38Packages.ponywhoosh
x86_64-darwin agda-pkg
i686-linux python27Packages.ponywhoosh
aarch64-linux python38Packages.ponywhoosh
x86_64-linux agda-pkg
aarch64-linux python27Packages.ponywhoosh
x86_64-darwin python38Packages.ponywhoosh
x86_64-linux python37Packages.ponywhoosh
aarch64-linux python37Packages.ponywhoosh
x86_64-darwin python37Packages.ponywhoosh
x86_64-linux python38Packages.ponywhoosh
i686-linux python37Packages.ponywhoosh
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment