nixpkgs/pkgs/applications/science/logic/prover9
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