3 commits

Author	SHA1	Message	Date
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
volth	f3282c8d1e	treewide: remove unused variables (#63177) ... * treewide: remove unused variables * making ofborg happy	2019-06-16 19:59:05 +00:00
Merlin Göttlinger	5781856630	clprover: init at 1.0.3 (#56403) ... * clprover: init at 1.0.3	2019-02-26 12:36:04 +00:00