13 commits

Author	SHA1	Message	Date
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
Jannik Vierling	6ea5cd21ab	iprover: 2018_Jul_24_11h -> 3.1	2020-02-09 09:38:57 +01: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
rnhmjoj	bcf54ce5bb	treewide: use ${stdenv.shell} instead of /bin/sh where possible	2019-01-16 20:37:15 +01:00
Gabriel Ebner	f505340252	iprover: 2.5 -> 2018_Jul_24_11h	2018-11-21 12:15:48 +01:00
Gabriel Ebner	7ba1c7a9fb	iprover: 0.8.1 -> 2.5	2017-07-17 22:45:27 +01:00
Joachim Fasting	c6d645803a	iprover: reimplement using mkDerivation	2015-11-24 14:45:15 +01:00
Peter Simons	d0ca8c237e	Fix broken license references.	2014-07-28 11:43:20 +02:00
Mateusz Kowalczyk	7a45996233	Turn some license strings into lib.licenses values	2014-07-28 11:31:14 +02:00
Evgeny Egorochkin	9c6f7cc9c1	Add package versions to some of the packages or fix existing ones to conform to nixpkgs conventions.	2013-06-07 03:15:45 +03:00
Eelco Dolstra	f286cc65b1	Fix bad URLs lacking a scheme	2013-01-14 18:26:46 +01:00
Eelco Dolstra	c556a6ea46	* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless ... function, so obsolete it. svn path=/nixpkgs/branches/stdenv-updates/; revision=31644	2012-01-18 20:16:00 +00:00
Michael Raskin	44ac8c5ea1	Adding iProver ... svn path=/nixpkgs/trunk/; revision=24969	2010-12-04 18:39:44 +00:00