16 commits

Author	SHA1	Message	Date
Felix Buehler	b6fb4cedaf	verifast: deprecate phases	2021-07-14 16:41:30 +02:00
Ben Siraphob	badf51221d	treewide: stdenv.lib -> lib	2021-01-16 17:58:11 +07:00
Pavol Rusnak	461a252bee	verifast: change license to MIT ... It seems verifast was relicensed to MIT in 2016: b3c1bce76a As this was the only package using lib.licenses.msrla I dropped it.	2020-04-23 09:59:33 +00:00
R. RyanTM	1d4fd7f5f2	verifast: 18.02 -> 19.12	2020-02-09 14:29:31 -06: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
worldofpeace	b1bc0645ea	gdk-pixbuf: rename from gdk_pixbuf	2019-07-22 18:50:57 -04:00
Matthew Bauer	143978a477	treewide: remove platform assertions ... linux: readd assertion	2018-05-03 13:09:20 -05:00
Michiel Derhaeg	189a4f3656	verifast: 14.5 -> 18.02 (#39480)	2018-04-25 22:54:57 +01:00
Kirill Boltaev	bccd75094f	treewide: explicitly specify gtk and related package versions	2016-09-12 18:26:06 +03:00
Nikolay Amiantov	87ebab128a	replace ${stdenv.cc.cc}/lib occurences	2016-05-01 00:13:23 +03:00
Eric Seidel	f3c6827373	rename all occurrences of stdenv.cc.gcc to stdenv.cc.cc	2015-01-14 20:27:55 -08:00
John Wiegley	28b6fb61e6	Change occurrences of gcc to the more general cc ... This is done for the sake of Yosemite, which does not have gcc, and yet this change is also compatible with Linux.	2014-12-26 11:06:21 -06:00
Eelco Dolstra	ce6b86cc68	Fix various evaluation problems ... http://hydra.nixos.org/build/13616685	2014-08-22 11:57:40 +02:00
Austin Seipp	fe9133d522	verifast: 14.5, x86_64 linux only ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-06-10 16:38:45 -05:00
Austin Seipp	7d58646b08	z3/verifast: update license ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-05-01 19:09:24 -05:00
Austin Seipp	aaa0304a45	nixpkgs: verifast 13.11.14 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-04-28 13:46:27 -05:00