5 commits

Author	SHA1	Message	Date
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	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
Peter Simons	098b763939	pkgs/applications/science/logic/prover9: fixed trivial syntax error ... svn path=/nixpkgs/trunk/; revision=23453	2010-08-26 12:06:05 +00:00
Peter Simons	403938b004	pkgs/applications/science/logic/prover9: updated homepage and license ... svn path=/nixpkgs/trunk/; revision=23447	2010-08-26 11:42:41 +00:00
Peter Simons	340d4a6ddd	pkgs/applications/science/logic/prover9: initial version ... svn path=/nixpkgs/trunk/; revision=23446	2010-08-26 11:37:05 +00:00