diff options
| author | Peter Simons <simons@cryp.to> | 2010-08-26 12:06:05 +0000 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2010-08-26 12:06:05 +0000 |
| commit | 098b763939da4bbf6b31898fe915983d31344c3d (patch) | |
| tree | 0ee63ee24f9d43e154270ce696f53643e2166d97 /pkgs/applications/science/logic | |
| parent | eb37b385f90994a483bab2ec81a54d8693e94f13 (diff) | |
| download | nixlib-098b763939da4bbf6b31898fe915983d31344c3d.tar nixlib-098b763939da4bbf6b31898fe915983d31344c3d.tar.gz nixlib-098b763939da4bbf6b31898fe915983d31344c3d.tar.bz2 nixlib-098b763939da4bbf6b31898fe915983d31344c3d.tar.lz nixlib-098b763939da4bbf6b31898fe915983d31344c3d.tar.xz nixlib-098b763939da4bbf6b31898fe915983d31344c3d.tar.zst nixlib-098b763939da4bbf6b31898fe915983d31344c3d.zip | |
pkgs/applications/science/logic/prover9: fixed trivial syntax error
svn path=/nixpkgs/trunk/; revision=23453
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/prover9/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/prover9/default.nix b/pkgs/applications/science/logic/prover9/default.nix index 5ef7e721a8f2..129abef0b3d7 100644 --- a/pkgs/applications/science/logic/prover9/default.nix +++ b/pkgs/applications/science/logic/prover9/default.nix @@ -31,7 +31,7 @@ stdenv.mkDerivation { meta = { homepage = "http://www.cs.unm.edu/~mccune/mace4/"; 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 = '' Prover9 is a resolution/paramodulation automated theorem prover |