<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>