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 |
|