mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2021-12-09	proverif: 2.03 → 2.04	Vincent Laporte	1	-2/+2
2021-11-09	proverif: 2.02pl1 → 2.03	Vincent Laporte	1	-11/+11
2021-01-16	treewide: stdenv.lib -> lib	Ben Siraphob	1	-4/+4
2020-11-29	proverif: install emacs mode	Vincent Laporte	1	-0/+1
2020-09-07	proverif: 2.01 → 2.02pl1	Vincent Laporte	1	-2/+2
2020-05-27	proverif: 2.00 -> 2.01	R. RyanTM	1	-2/+2
2019-08-15	treewide: name -> pname (easy cases) (#66585)	volth	1	-1/+1
2019-04-22	treewide: Change URLs to HTTPS	Daniel Schaefer	1	-1/+1
2018-05-22	proverif: 1.97pl1 -> 2.00	Vincent Laporte	1	-4/+4
2017-09-13	proverif: 1.95 -> 1.97pl1	Vincent Laporte	1	-2/+2
2016-11-10	nixpkgs: proverif 1.94 -> 1.95	Austin Seipp	1	-2/+2
2016-06-28	proverif: init at 1.94	Austin Seipp	1	-0/+28