2 commits

Author	SHA1	Message	Date
Ryan Mulligan	72a22296dd	cryptoverif: 1.22 -> 1.28 ... Semi-automatic update. These checks were performed: - built on NixOS - ran `/nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28/bin/cryptoverif --help` got 0 exit code - found 1.28 with grep in /nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28 - found 1.28 in filename of file in /nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28	2018-02-26 08:32:20 +01:00
Austin Seipp	25bf4a5634	cryptoverif: init at 1.22 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2016-06-28 04:37:29 +00:00