diff options
| author |   Petr Vaněk <arkamar@atlas.cz> | 2022-10-19 11:03:23 +0200 |
|---|---|---|
| committer |   Sam James <sam@gentoo.org> | 2022-10-20 04:52:47 +0100 |
| commit | 8e304295a94a213831a34e779c8f5b7511c88bec (patch) | |
| tree | e85abe9aa2f5fad65c6fb735d7984eddaae0f13e /sci-mathematics/prover9 | |
| parent | sci-mathematics/pari: align longdescription opening and closing tags (diff) | |
| download | gentoo-8e304295a94a213831a34e779c8f5b7511c88bec.tar.gz gentoo-8e304295a94a213831a34e779c8f5b7511c88bec.tar.bz2 gentoo-8e304295a94a213831a34e779c8f5b7511c88bec.zip | |
sci-mathematics/prover9: align longdescription opening and closing tags
Signed-off-by: Petr Vaněk <arkamar@atlas.cz>
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'sci-mathematics/prover9')
| -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> |