sci-mathematics/spass: [QA] Consistent whitespace in metadata.xml
authorDavid Seifert <soap@gentoo.org>
Sat, 25 Nov 2017 16:52:42 +0000 (17:52 +0100)
committerDavid Seifert <soap@gentoo.org>
Sat, 25 Nov 2017 17:40:17 +0000 (18:40 +0100)
sci-mathematics/spass/metadata.xml

index 742f96e9a9c2a0a8c950df20cc578731dce013ff..93ca493501bd8c4fc1f846002710e3b9099c2628 100644 (file)
@@ -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>