aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics/pff/metadata.xml')
-rw-r--r--sci-mathematics/pff/metadata.xml8
1 files changed, 4 insertions, 4 deletions
diff --git a/sci-mathematics/pff/metadata.xml b/sci-mathematics/pff/metadata.xml
index 15984c1cd..0c97b245d 100644
--- a/sci-mathematics/pff/metadata.xml
+++ b/sci-mathematics/pff/metadata.xml
@@ -6,9 +6,9 @@
<name>Gentoo Mathematics Project</name>
</maintainer>
<longdescription>
- PFF (Preuves Formelles sur les Flottants = Formal Proofs about Floats)
- is a repository of a Coq library about floating-point arithmetic. It
- contains both definitions and proofs of basic facts, old and new
- properties and algorithms.
+PFF (Preuves Formelles sur les Flottants = Formal Proofs about Floats)
+is a repository of a Coq library about floating-point arithmetic. It
+contains both definitions and proofs of basic facts, old and new
+properties and algorithms.
</longdescription>
</pkgmetadata>