Skip to content

Instantly share code, notes, and snippets.

@ryantm

ryantm/gist:18190fb11f51471790dcc668635aba6a

Created June 6, 2018 11:59
Show Gist options
  • Save ryantm/18190fb11f51471790dcc668635aba6a to your computer and use it in GitHub Desktop.
Save ryantm/18190fb11f51471790dcc668635aba6a to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
3.7M /nix/store/449i03imd329g3yi4gbmcbq9pv5ijpib-cryptoverif-2.00/bin
0 /nix/store/449i03imd329g3yi4gbmcbq9pv5ijpib-cryptoverif-2.00/libexec
3.7M /nix/store/449i03imd329g3yi4gbmcbq9pv5ijpib-cryptoverif-2.00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment