3 commits

Author	SHA1	Message	Date
Vincent Laporte	daa0ccd626	proverif: 1.95 -> 1.97pl1 ... (cherry picked from commit cc5491d02c)	2017-09-17 18:19:35 +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