Skip to content

Instantly share code, notes, and snippets.

@r-ryantm

r-ryantm/gist:021fc91e7a3773012e6eb3c6ab38c802

Created July 8, 2020 04:51
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/021fc91e7a3773012e6eb3c6ab38c802 to your computer and use it in GitHub Desktop.
Save r-ryantm/021fc91e7a3773012e6eb3c6ab38c802 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
198 /nix/store/66l83xyll6iw038qhgan57w2nncw4ahv-cryptominisat-5.8.0/bin
22 /nix/store/66l83xyll6iw038qhgan57w2nncw4ahv-cryptominisat-5.8.0/lib/cmake/cryptominisat5
23 /nix/store/66l83xyll6iw038qhgan57w2nncw4ahv-cryptominisat-5.8.0/lib/cmake
38 /nix/store/66l83xyll6iw038qhgan57w2nncw4ahv-cryptominisat-5.8.0/lib/python3.8/site-packages
38 /nix/store/66l83xyll6iw038qhgan57w2nncw4ahv-cryptominisat-5.8.0/lib/python3.8
798 /nix/store/66l83xyll6iw038qhgan57w2nncw4ahv-cryptominisat-5.8.0/lib
39 /nix/store/66l83xyll6iw038qhgan57w2nncw4ahv-cryptominisat-5.8.0/include/cryptominisat5
40 /nix/store/66l83xyll6iw038qhgan57w2nncw4ahv-cryptominisat-5.8.0/include
1036 /nix/store/66l83xyll6iw038qhgan57w2nncw4ahv-cryptominisat-5.8.0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment