Skip to content

Instantly share code, notes, and snippets.

@ryantm

ryantm/gist:230340bfa02557290a60cfc6d2e7e977

Created July 4, 2018 18:23
Show Gist options
  • Save ryantm/230340bfa02557290a60cfc6d2e7e977 to your computer and use it in GitHub Desktop.
Save ryantm/230340bfa02557290a60cfc6d2e7e977 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
2.4M /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin
0 /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/lib/cmake/Clingo
0 /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/lib/cmake
5.0M /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/lib
0 /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/include
7.3M /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment