diff options
Diffstat (limited to 'sci-mathematics/prover9/metadata.xml')
| -rw-r--r-- | sci-mathematics/prover9/metadata.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/prover9/metadata.xml b/sci-mathematics/prover9/metadata.xml index b0d52b607fd4..aad6aebf1ecc 100644 --- a/sci-mathematics/prover9/metadata.xml +++ b/sci-mathematics/prover9/metadata.xml @@ -14,5 +14,5 @@ first-order and equational logic, and Mace4 searches for finite models and counterexamples. Prover9 is the successor of the Otter prover. -</longdescription> + </longdescription> </pkgmetadata> |