Michael Raskin
|
011f69992a
|
satallax: 1.4 -> 2.7
|
2016-03-31 16:23:08 +02:00 |
|
Mateusz Kowalczyk
|
007f80c1d0
|
Turn more licenses into lib.licenses style
Should eval cleanly, as far as -A tarball tells me.
Relevant: issue #2999, issue #739
|
2014-11-06 00:48:16 +00: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
|
64ed7e705d
|
Adding Satallax prover
svn path=/nixpkgs/trunk/; revision=24963
|
2010-12-03 11:26:34 +00:00 |
|