public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

pkgs/applications/science/logic/prover9: fixed trivial syntax error

Browse Source 
svn path=/nixpkgs/trunk/; revision=23453
This commit is contained in:
Peter Simons 2010-08-26 12:06:05 +00:00
parent eb37b385f9
commit 098b763939
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/applications/science/logic/prover9/default.nix
View File

@ -31,7 +31,7 @@ stdenv.mkDerivation {
meta = { meta = {
homepage = "http://www.cs.unm.edu/~mccune/mace4/"; homepage = "http://www.cs.unm.edu/~mccune/mace4/";
license = "GPL"; license = "GPL";
description = "Prover9 is an automated theorem prover for first-order and equational logic." description = "Prover9 is an automated theorem prover for first-order and equational logic.";
longDescription = '' longDescription = ''
Prover9 is a resolution/paramodulation automated theorem prover Prover9 is a resolution/paramodulation automated theorem prover