Skip to content

Instantly share code, notes, and snippets.

@r-ryantm

r-ryantm/gist:83aae4723e6f6628009efe6e6c327041

Created July 31, 2020 23:35
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 r-ryantm/83aae4723e6f6628009efe6e6c327041 to your computer and use it in GitHub Desktop.
Save r-ryantm/83aae4723e6f6628009efe6e6c327041 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
4447 /nix/store/n4pd0mjw0zljrm4i7xb04rh1w6kms211-eprover-2.5/bin
75 /nix/store/n4pd0mjw0zljrm4i7xb04rh1w6kms211-eprover-2.5/share/man
75 /nix/store/n4pd0mjw0zljrm4i7xb04rh1w6kms211-eprover-2.5/share
4523 /nix/store/n4pd0mjw0zljrm4i7xb04rh1w6kms211-eprover-2.5
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment