10 commits

Author	SHA1	Message	Date
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