6 commits

Author	SHA1	Message	Date
Bjørn Forsman	083d0890f5	More description fixes ... * Remove package name * Start with upper case letter * Remove trailing period Also reword some descriptions and move some long descriptions to longDescription. I'm not touching generated packages.	2013-10-06 12:01:38 +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	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