nixpkgs

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