R. RyanTM 6f2d2818b0 cryptoverif: 2.00 -> 2.01 ... Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/cryptoverif/versions		2019-06-01 10:51:25 -05:00
..
default.nix	cryptoverif: 2.00 -> 2.01	2019-06-01 10:51:25 -05:00