4 commits

Author	SHA1	Message	Date
Vincent Laporte	ae23bb2bcc	proverif: 1.97pl1 -> 2.00	2018-05-22 06:58:10 +00:00
Vincent Laporte	cc5491d02c	proverif: 1.95 -> 1.97pl1	2017-09-13 20:01:55 +02:00
Austin Seipp	0bdc0143fe	nixpkgs: proverif 1.94 -> 1.95 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2016-11-10 03:45:51 +00:00
Austin Seipp	be19637b2a	proverif: init at 1.94 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2016-06-28 04:36:11 +00:00