Skip to content

Instantly share code, notes, and snippets.

@ryantm

ryantm/-

Created September 27, 2019 19:43
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/6b5d6fd65333806d75e0c247073536de to your computer and use it in GitHub Desktop.
Save ryantm/6b5d6fd65333806d75e0c247073536de to your computer and use it in GitHub Desktop.
Download ZIP
Raw
-
1052 /nix/store/mx4jwrnnjlbf3rzp1gwyhmfmbv5zx89s-ntl-11.3.4/include/NTL
1052 /nix/store/mx4jwrnnjlbf3rzp1gwyhmfmbv5zx89s-ntl-11.3.4/include
2304 /nix/store/mx4jwrnnjlbf3rzp1gwyhmfmbv5zx89s-ntl-11.3.4/share/doc/NTL
2304 /nix/store/mx4jwrnnjlbf3rzp1gwyhmfmbv5zx89s-ntl-11.3.4/share/doc
2304 /nix/store/mx4jwrnnjlbf3rzp1gwyhmfmbv5zx89s-ntl-11.3.4/share
9292 /nix/store/mx4jwrnnjlbf3rzp1gwyhmfmbv5zx89s-ntl-11.3.4/lib
12648 /nix/store/mx4jwrnnjlbf3rzp1gwyhmfmbv5zx89s-ntl-11.3.4
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment