summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Seifert <soap@gentoo.org>2017-11-25 17:52:42 +0100
committerDavid Seifert <soap@gentoo.org>2017-11-25 18:40:17 +0100
commit659980ac524e6e41edbeb01871d057355b9304cb (patch)
tree6d2f744909d000316bb71cfe4ac21351958e3c7e /sci-mathematics
parentsci-mathematics/rstudio: [QA] Consistent whitespace in metadata.xml (diff)
downloadgentoo-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.xml7
1 files changed, 3 insertions, 4 deletions
diff --git a/sci-mathematics/spass/metadata.xml b/sci-mathematics/spass/metadata.xml
index 742f96e9a9c..93ca493501b 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>