diff options
| author |   David Seifert <soap@gentoo.org> | 2017-11-25 17:52:42 +0100 |
|---|---|---|
| committer | David Seifert <soap@gentoo.org> | 2017-11-25 18:40:17 +0100 |
| commit | 659980ac524e6e41edbeb01871d057355b9304cb (patch) | |
| tree | 6d2f744909d000316bb71cfe4ac21351958e3c7e /sci-mathematics | |
| parent | sci-mathematics/rstudio: [QA] Consistent whitespace in metadata.xml (diff) | |
| download | gentoo-659980ac524e6e41edbeb01871d057355b9304cb.tar.gz gentoo-659980ac524e6e41edbeb01871d057355b9304cb.tar.bz2 gentoo-659980ac524e6e41edbeb01871d057355b9304cb.zip | |
sci-mathematics/spass: [QA] Consistent whitespace in metadata.xml
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/spass/metadata.xml | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/sci-mathematics/spass/metadata.xml b/sci-mathematics/spass/metadata.xml index 742f96e9a9c2..93ca493501bd 100644 --- a/sci-mathematics/spass/metadata.xml +++ b/sci-mathematics/spass/metadata.xml @@ -9,10 +9,9 @@ <name>Gentoo Mathematics Project</name> </maintainer> <longdescription lang="en"> -SPASS: An Automated Theorem Prover for First-Order Logic with Equality. -</longdescription> + SPASS: An Automated Theorem Prover for First-Order Logic with Equality. + </longdescription> <use> - <flag name="isabelle">Add integration support for the Isabelle/HOL - theorem prover.</flag> + <flag name="isabelle">Add integration support for the Isabelle/HOL theorem prover.</flag> </use> </pkgmetadata> |