12 Commits

Author	SHA1	Message	Date
Vincent Laporte	a2dc97cd5c	proverif: 2.03 → 2.04	2021-12-09 17:45:15 +01:00
Vincent Laporte	b42501e1e7	proverif: 2.02pl1 → 2.03 ... Do not build `proverif_interact` (that was not installed).	2021-11-09 17:50:01 +01:00
Ben Siraphob	badf51221d	treewide: stdenv.lib -> lib	2021-01-16 17:58:11 +07:00
Vincent Laporte	8ee7c2505f	proverif: install emacs mode	2020-11-29 14:05:14 +01:00
Vincent Laporte	2a82f71bed	proverif: 2.01 → 2.02pl1	2020-09-07 09:54:54 +02:00
R. RyanTM	5841bc46f8	proverif: 2.00 -> 2.01	2020-05-27 12:07:52 -07:00
volth	46420bbaa3	treewide: name -> pname (easy cases) (#66585) ... treewide replacement of stdenv.mkDerivation rec { name = "*-${version}"; version = "*"; to pname	2019-08-15 13:41:18 +01:00
Daniel Schaefer	bac4d95aa2	treewide: Change URLs to HTTPS ... Lots of URLs were HTTP redirect to HTTPS. Changed those and checked them if there's actual content. Inspired by https://github.com/NixOS/nixpkgs/issues/60004	2019-04-22 10:19:54 +02:00
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