truh/nixpkgs
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
115,786 commits 3 branches 0 tags 565 MiB
Commit graph

1 commit

Author SHA1 Message Date
Austin Seipp
25bf4a5634 cryptoverif: init at 1.22 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2016-06-28 04:37:29 +00:00