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
..
default.nix	pkgs/applications/science/logic/prover9: fixed trivial syntax error	2010-08-26 12:06:05 +00:00