diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-10-20 07:59:50 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-10-20 07:59:50 +0100 |
| commit | 2eda3a3b8ebdb3fc8552feb6f49e466d3bc8e88c (patch) | |
| tree | 69a469da2fa8c3f4920325ac5595300929f5d884 /sci-mathematics/prover9/metadata.xml | |
| parent | 9ed0c42eb618229fa6f45e10155ee535e1f605a2 (diff) | |
gentoo auto-resync : 20:10:2022 - 07:59:49
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> |