Skip to content

Instantly share code, notes, and snippets.

@ryantm

ryantm/gist:2102cd7a23fbd5189cf72929da1276be

Created March 2, 2019 00:58
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 ryantm/2102cd7a23fbd5189cf72929da1276be to your computer and use it in GitHub Desktop.
Save ryantm/2102cd7a23fbd5189cf72929da1276be to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
12K /nix/store/10jghjxlj97rb2kq84q1q1mqgq798src-cryptominisat-5.6.8/lib/cmake/cryptominisat5
12K /nix/store/10jghjxlj97rb2kq84q1q1mqgq798src-cryptominisat-5.6.8/lib/cmake
56K /nix/store/10jghjxlj97rb2kq84q1q1mqgq798src-cryptominisat-5.6.8/lib/python3.7/site-packages
56K /nix/store/10jghjxlj97rb2kq84q1q1mqgq798src-cryptominisat-5.6.8/lib/python3.7
1.1M /nix/store/10jghjxlj97rb2kq84q1q1mqgq798src-cryptominisat-5.6.8/lib
48K /nix/store/10jghjxlj97rb2kq84q1q1mqgq798src-cryptominisat-5.6.8/include/cryptominisat5
48K /nix/store/10jghjxlj97rb2kq84q1q1mqgq798src-cryptominisat-5.6.8/include
416K /nix/store/10jghjxlj97rb2kq84q1q1mqgq798src-cryptominisat-5.6.8/bin
1.6M /nix/store/10jghjxlj97rb2kq84q1q1mqgq798src-cryptominisat-5.6.8
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment