From cb97b25bd87da46462a3d73b4d5bcda6cc13f2e1 Mon Sep 17 00:00:00 2001
From: Tupone Alfredo <tupone@gentoo.org>
Date: Fri, 20 Oct 2017 07:48:20 +0200
Subject: sci-mathematics/why3-for-spark: Fix metadata.xml

Package-Manager: Portage-2.3.8, Repoman-2.3.3
---
 sci-mathematics/why3-for-spark/metadata.xml | 46 ++++++++++++++---------------
 1 file changed, 23 insertions(+), 23 deletions(-)

(limited to 'sci-mathematics')

diff --git a/sci-mathematics/why3-for-spark/metadata.xml b/sci-mathematics/why3-for-spark/metadata.xml
index 6dbb21558b6c..f73ffa40b698 100644
--- a/sci-mathematics/why3-for-spark/metadata.xml
+++ b/sci-mathematics/why3-for-spark/metadata.xml
@@ -1,27 +1,27 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
-<maintainer type="project">
-  <email>sci-mathematics@gentoo.org</email>
-  <name>Gentoo Mathematics Project</name>
-</maintainer>
-<longdescription>
-  Why3 is a platform for deductive program verification. It provides
-  a rich language for specification and programming, called WhyML,
-  and relies on external theorem provers, both automated and interactive,
-  to discharge verification conditions. Why3 comes with a standard
-  library of logical theories (integer and real arithmetic, Boolean
-  operations, sets and maps, etc.) and basic programming data structures
-  (arrays, queues, hash tables, etc.). A user can write WhyML programs
-  directly and get correct-by-construction OCaml programs through an
-  automated extraction mechanism. WhyML is also used as an intermediate
-  language for the verification of C, Java, or Ada programs.
-</longdescription>
-<use>
-  <flag name="coq">Add <pkg>sci-mathematics/coq</pkg> support</flag>
-  <flag name="html">Build HTML documentation</flag>
-  <flag name="hypothesis-selection">Enable hypothesis selection</flag>
-  <flag name="profiling">Enable profiling</flag>
-  <flag name="zarith">Use <pkg>dev-ml/zarith</pkg></flag>
-</use>
+	<maintainer type="person">
+		<email>tupone@gentoo.org</email>
+		<name>Tupone Alfredo</name>
+	</maintainer>
+	<longdescription lang="en">
+		Why3 is a platform for deductive program verification. It provides a
+		rich language for specification and programming, called WhyML, and
+		relies on external theorem provers, both automated and interactive, to
+		discharge verification conditions. Why3 comes with a standard library
+		of logical theories (integer and real arithmetic, Boolean operations,
+		sets and maps, etc.) and basic programming data structures (arrays,
+		queues, hash tables, etc.). A user can write WhyML programs directly
+		and get correct-by-construction OCaml programs through an automated
+		extraction mechanism. WhyML is also used as an intermediate language
+		for the verification of C, Java, or Ada programs.
+	</longdescription>
+	<use>
+		<flag name="coq">Add <pkg>sci-mathematics/coq</pkg> support</flag>
+		<flag name="html">Build HTML documentation</flag>
+		<flag name="hypothesis-selection">Enable hypothesis selection</flag>
+		<flag name="profiling">Enable profiling</flag>
+		<flag name="zarith">Use <pkg>dev-ml/zarith</pkg></flag>
+	</use>
 </pkgmetadata>
-- 
cgit v1.2.3-65-gdbad