mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2022-06-23	treewide/applications: add `sourceType` `binaryNativeCode` for many packages	Robert Scott	1	-0/+1
2021-08-23	verifast: 19.12 -> 21.04	R. RyanTM	1	-2/+2
2021-08-01	treewide: fix redirected URLs	Ben Siraphob	1	-1/+1
2021-07-14	verifast: deprecate phases	Felix Buehler	1	-1/+1
2021-01-16	treewide: stdenv.lib -> lib	Ben Siraphob	1	-4/+4
2020-04-23	verifast: change license to MIT	Pavol Rusnak	1	-1/+1
2020-02-09	verifast: 18.02 -> 19.12	R. RyanTM	1	-2/+2
2019-08-15	treewide: name -> pname (easy cases) (#66585)	volth	1	-2/+2
2019-07-22	gdk-pixbuf: rename from gdk_pixbuf	worldofpeace	1	-2/+2
2018-05-03	treewide: remove platform assertions	Matthew Bauer	1	-1/+0
2018-04-25	verifast: 14.5 -> 18.02 (#39480)	Michiel Derhaeg	1	-9/+15
2016-09-12	treewide: explicitly specify gtk and related package versions	Kirill Boltaev	1	-2/+2
2016-05-01	replace ${stdenv.cc.cc}/lib occurences	Nikolay Amiantov	1	-1/+1
2015-01-14	rename all occurrences of stdenv.cc.gcc to stdenv.cc.cc	Eric Seidel	1	-2/+2
2014-12-26	Change occurrences of gcc to the more general cc	John Wiegley	1	-3/+3
2014-08-22	Fix various evaluation problems	Eelco Dolstra	1	-0/+2
2014-06-10	verifast: 14.5, x86_64 linux only	Austin Seipp	1	-14/+10
2014-05-01	z3/verifast: update license	Austin Seipp	1	-1/+1
2014-04-28	nixpkgs: verifast 13.11.14	Austin Seipp	1	-0/+47