4 commits

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