8 Commits

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