Skip to content

Instantly share code, notes, and snippets.

@GrahamcOfBorg

GrahamcOfBorg/Changed Paths

Created August 2, 2020 06:56
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/fe8c45c1ffdf399259f11867d6718034 to your computer and use it in GitHub Desktop.
Save GrahamcOfBorg/fe8c45c1ffdf399259f11867d6718034 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Changed Paths
aarch64-linux acl2-minimal
i686-linux acl2-minimal
i686-linux acl2
x86_64-linux acl2-minimal
x86_64-darwin acl2
x86_64-darwin acl2-minimal
x86_64-linux acl2
aarch64-linux acl2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment