18 files changed, 40 insertions, 41 deletions
diff --git a/sci-mathematics/agda/metadata.xml b/sci-mathematics/agda/metadata.xml
index 11b2cbcae0bb..3be3c516b758 100644
--- a/sci-mathematics/agda/metadata.xml
+++ b/sci-mathematics/agda/metadata.xml
@@ -10,8 +10,8 @@
   inductive definitions, module structures and a class hierarchy mechanism.
 </longdescription>
 <use>
-  <flag name='cpphs'>Use cpphs instead of cpp.</flag>
-  <flag name='epic'>Add support for the epic compiler.</flag>
-  <flag name='stdlib'>Install the standard library.</flag>
+  <flag name="cpphs">Use cpphs instead of cpp.</flag>
+  <flag name="epic">Add support for the epic compiler.</flag>
+  <flag name="stdlib">Install the standard library.</flag>
 </use>
 </pkgmetadata>
diff --git a/sci-mathematics/calc/metadata.xml b/sci-mathematics/calc/metadata.xml
index 1909ee567cca..fc39076901b7 100644
--- a/sci-mathematics/calc/metadata.xml
+++ b/sci-mathematics/calc/metadata.xml
@@ -1,4 +1,4 @@
-<?xml version='1.0' encoding='UTF-8'?>
+<?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
   <herd>sci-mathematics</herd>
diff --git a/sci-mathematics/cvc3/metadata.xml b/sci-mathematics/cvc3/metadata.xml
index fd176a8c8c63..2f5473a5364f 100644
--- a/sci-mathematics/cvc3/metadata.xml
+++ b/sci-mathematics/cvc3/metadata.xml
@@ -6,7 +6,7 @@
   <name>Mark Wright</name>
 </maintainer>
 <herd>sci-mathematics</herd>
-<longdescription lang='en'>
+<longdescription lang="en">
 CVC3 is an automatic theorem prover for Satisfiability Modulo Theories
 (SMT) problems. It can be used to prove the validity (or, dually, the
 satisfiability) of first-order formulas in a large number of built-in
@@ -32,9 +32,9 @@ and has a wide variety of features including:
         purposes (see license).
 </longdescription>
 <use>
-  <flag name='isabelle'>Add integration support for the Isabelle/HOL
+  <flag name="isabelle">Add integration support for the Isabelle/HOL
   theorem prover.</flag>
-  <flag name='zchaff'>Use the SAT solver zchaff whose copyright is
+  <flag name="zchaff">Use the SAT solver zchaff whose copyright is
   owned by Princeton University and is more restrictive (see zchaff
   license).
   </flag>
diff --git a/sci-mathematics/e/metadata.xml b/sci-mathematics/e/metadata.xml
index 215faaa6df45..775fe11dec03 100644
--- a/sci-mathematics/e/metadata.xml
+++ b/sci-mathematics/e/metadata.xml
@@ -6,7 +6,7 @@
   <name>Mark Wright</name>
 </maintainer>
 <herd>sci-mathematics</herd>
-<longdescription lang='en'>
+<longdescription lang="en">
 E is a theorem prover for full first-order logic with equality. It
 accepts a problem specification, typically consisting of a number of
 first-order clauses or formulas, and a conjecture, again either in
@@ -26,7 +26,7 @@ most powerful and friendly reasoning systems for first-order
 logic. The prover has successfully participated in many competitions.
 </longdescription>
 <use>
-  <flag name='isabelle'>Add integration support for the Isabelle/HOL
+  <flag name="isabelle">Add integration support for the Isabelle/HOL
   theorem prover.</flag>
 </use>
 </pkgmetadata>
diff --git a/sci-mathematics/flint/metadata.xml b/sci-mathematics/flint/metadata.xml
index 98dccf28e26b..c32726109b53 100644
--- a/sci-mathematics/flint/metadata.xml
+++ b/sci-mathematics/flint/metadata.xml
@@ -6,11 +6,11 @@
 		<name>Patrick Lauer</name>
 	</maintainer>
 	<upstream>
-		<remote-id type='github'>wbhart/flint2</remote-id>
+		<remote-id type="github">wbhart/flint2</remote-id>
 	</upstream>
 	<use>
-		<flag name='gc'>Enable garbage collection
+		<flag name="gc">Enable garbage collection
 			support via <pkg>dev-libs/boehm-gc</pkg></flag>
-		<flag name='ntl'>Build NTL interface</flag>
+		<flag name="ntl">Build NTL interface</flag>
 	</use>
 </pkgmetadata>
diff --git a/sci-mathematics/gmm/metadata.xml b/sci-mathematics/gmm/metadata.xml
index bf6dfb4a8adc..0c5f9be4b4dd 100644
--- a/sci-mathematics/gmm/metadata.xml
+++ b/sci-mathematics/gmm/metadata.xml
@@ -4,7 +4,7 @@
 <maintainer>
   <email>amynka@gentoo.org</email>
 </maintainer>
-<longdescription lang='en'>
+<longdescription lang="en">
   Gmm++ is a generic C++ template library for sparse, dense and
   skyline matrices. It is built as a set of generic algorithms (mult,
   add, copy, sub-matrices, dense and sparse solvers ...) for any
diff --git a/sci-mathematics/isabelle/metadata.xml b/sci-mathematics/isabelle/metadata.xml
index 41285400dc40..986ebca59252 100644
--- a/sci-mathematics/isabelle/metadata.xml
+++ b/sci-mathematics/isabelle/metadata.xml
@@ -5,7 +5,7 @@
   <email>gienah@gentoo.org</email>
 </maintainer>
 <herd>sci-mathematics</herd>
-<longdescription lang='en'>
+<longdescription lang="en">
 Isabelle is a generic proof assistant. It allows mathematical
 formulas to be expressed in a formal language and provides tools
 for proving those formulas in a logical calculus. The main
@@ -15,29 +15,29 @@ correctness of computer hardware or software and proving
 properties of computer languages and protocols.
 </longdescription>
 <use>
-  <flag name='Pure'>Pure is the basis for all object-logics.</flag>
-  <flag name='FOL'>FOL (Many-sorted First-Order Logic) provides basic
+  <flag name="Pure">Pure is the basis for all object-logics.</flag>
+  <flag name="FOL">FOL (Many-sorted First-Order Logic) provides basic
   classical and intuitionistic first-order logic. It is polymorphic.</flag>
-  <flag name='HOL'>(Higher-Order Logic) is a version of classical higher-order
+  <flag name="HOL">(Higher-Order Logic) is a version of classical higher-order
   logic resembling that of the HOL System.</flag>
-  <flag name='ZF'>ZF (Set Theory) offers a formulation of Zermelo-Fraenkel
+  <flag name="ZF">ZF (Set Theory) offers a formulation of Zermelo-Fraenkel
   set theory on top of FOL.</flag>
-  <flag name='CCL'>CCL (Classical Computational Logic)</flag>
-  <flag name='CTT'>CTT (Constructive Type Theory) is an extensional version
+  <flag name="CCL">CCL (Classical Computational Logic)</flag>
+  <flag name="CTT">CTT (Constructive Type Theory) is an extensional version
   of Martin-Löf's Type Theory.</flag>
-  <flag name='Cube'>Cube (The Lambda Cube)</flag>
-  <flag name='FOLP'>FOLP (FOL with Proof Terms)</flag>
-  <flag name='LCF'>LCF (Logic of Computable Functions)</flag>
-  <flag name='Sequents'>Sequents (first-order, modal and linear logics)</flag>
-  <flag name='graphbrowsing'>Generate theory browsing information,
+  <flag name="Cube">Cube (The Lambda Cube)</flag>
+  <flag name="FOLP">FOLP (FOL with Proof Terms)</flag>
+  <flag name="LCF">LCF (Logic of Computable Functions)</flag>
+  <flag name="Sequents">Sequents (first-order, modal and linear logics)</flag>
+  <flag name="graphbrowsing">Generate theory browsing information,
   including HTML documents that show a theory's definition, the
   theorems proved in its ML file and the relationship with its
   ancestors and descendants.</flag>
-  <flag name='ledit'>Use ledit for the isabelle tty line editor</flag> 
-  <flag name='readline'>Use readline (rlwrap) for the isabelle tty line
+  <flag name="ledit">Use ledit for the isabelle tty line editor</flag> 
+  <flag name="readline">Use readline (rlwrap) for the isabelle tty line
   editor</flag> 
-  <flag name='proofgeneral'>Add support for the
+  <flag name="proofgeneral">Add support for the
   <pkg>app-emacs/proofgeneral</pkg> proof assistant front end.</flag>
-  <flag name='pide'>Build Isabelle/jEdit Prover IDE (PIDE).</flag> 
+  <flag name="pide">Build Isabelle/jEdit Prover IDE (PIDE).</flag> 
 </use>
 </pkgmetadata>
diff --git a/sci-mathematics/kodkodi/metadata.xml b/sci-mathematics/kodkodi/metadata.xml
index bcd7cbb8bab8..4ad0f7751ab1 100644
--- a/sci-mathematics/kodkodi/metadata.xml
+++ b/sci-mathematics/kodkodi/metadata.xml
@@ -6,11 +6,11 @@
   <name>Mark Wright</name>
 </maintainer>
 <herd>sci-mathematics</herd>
-<longdescription lang='en'>
+<longdescription lang="en">
 A text front-end for the Kodkod Java library.
 </longdescription>
 <use>
-  <flag name='isabelle'>Add integration support for the Isabelle/HOL
+  <flag name="isabelle">Add integration support for the Isabelle/HOL
   theorem prover.</flag>
 </use>
 </pkgmetadata>
diff --git a/sci-mathematics/lpsolve/metadata.xml b/sci-mathematics/lpsolve/metadata.xml
index a738782cba85..c295c6a43ee8 100644
--- a/sci-mathematics/lpsolve/metadata.xml
+++ b/sci-mathematics/lpsolve/metadata.xml
@@ -1,4 +1,4 @@
-<?xml version='1.0' encoding='UTF-8'?>
+<?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
 	<herd>office</herd>
diff --git a/sci-mathematics/msieve/metadata.xml b/sci-mathematics/msieve/metadata.xml
index de9a8b3b03b7..2d98b05ef996 100644
--- a/sci-mathematics/msieve/metadata.xml
+++ b/sci-mathematics/msieve/metadata.xml
@@ -1,4 +1,4 @@
-<?xml version='1.0' encoding='UTF-8'?>
+<?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
   <maintainer>
diff --git a/sci-mathematics/octave-epstk/metadata.xml b/sci-mathematics/octave-epstk/metadata.xml
index 1e986b205ff0..ca8760727097 100644
--- a/sci-mathematics/octave-epstk/metadata.xml
+++ b/sci-mathematics/octave-epstk/metadata.xml
@@ -2,7 +2,7 @@
 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
 <herd>sci-mathematics</herd>
-<longdescription lang='en'>
+<longdescription lang="en">
   The epsTk package provides, via a set of functions for octave, a
   toolkit to create powerful encapsulated postscript (.eps) graphs. Most 2D
   scientific graphics functions are written. The generated .eps-files are very
diff --git a/sci-mathematics/p9m4/metadata.xml b/sci-mathematics/p9m4/metadata.xml
index 037c455fa05d..fca084776b1f 100644
--- a/sci-mathematics/p9m4/metadata.xml
+++ b/sci-mathematics/p9m4/metadata.xml
@@ -5,7 +5,7 @@
   <email>gienah@gentoo.org</email>
 </maintainer>
 <herd>sci-mathematics</herd>
-<longdescription lang='en'>
+<longdescription lang="en">
   This is a Graphical User Interface for Prover9 and Mace4.
   Prover9 is an automated theorem prover for first-order and
   equational logic, and Mace4 searches for finite models and
diff --git a/sci-mathematics/qtoctave/metadata.xml b/sci-mathematics/qtoctave/metadata.xml
index 19eb759e10bc..e6e60964f914 100644
--- a/sci-mathematics/qtoctave/metadata.xml
+++ b/sci-mathematics/qtoctave/metadata.xml
@@ -2,7 +2,7 @@
 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
 <herd>sci-mathematics</herd>
-<longdescription lang='en'>
+<longdescription lang="en">
   Besides offering an attractive front-end to GNU Octave, an
   environment for numerical computation highly compatible with MATLAB,
   QtOctave currently also features matrix data entry and display and
diff --git a/sci-mathematics/relational/metadata.xml b/sci-mathematics/relational/metadata.xml
index 1d7818888617..76975b5fa135 100644
--- a/sci-mathematics/relational/metadata.xml
+++ b/sci-mathematics/relational/metadata.xml
@@ -5,4 +5,3 @@
 <longdescription lang="en">
 </longdescription>
 </pkgmetadata>
-
diff --git a/sci-mathematics/rw/metadata.xml b/sci-mathematics/rw/metadata.xml
index 2487e63df046..6d7ddb62d92b 100644
--- a/sci-mathematics/rw/metadata.xml
+++ b/sci-mathematics/rw/metadata.xml
@@ -23,6 +23,6 @@
   </longdescription>
 
   <use>
-    <flag name='executable'>Build the 'rw' program.</flag>
+    <flag name="executable">Build the 'rw' program.</flag>
   </use>
 </pkgmetadata>
diff --git a/sci-mathematics/snns/metadata.xml b/sci-mathematics/snns/metadata.xml
index ac4f219e806e..6dbaed3b90fc 100644
--- a/sci-mathematics/snns/metadata.xml
+++ b/sci-mathematics/snns/metadata.xml
@@ -1,4 +1,4 @@
-<?xml version='1.0' encoding='UTF-8'?>
+<?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
 	<herd>sci-mathematics</herd>
diff --git a/sci-mathematics/yacas/metadata.xml b/sci-mathematics/yacas/metadata.xml
index d45ad6cdcfd5..f234ff99442e 100644
--- a/sci-mathematics/yacas/metadata.xml
+++ b/sci-mathematics/yacas/metadata.xml
@@ -1,4 +1,4 @@
-<?xml version='1.0' encoding='UTF-8'?>
+<?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
   <herd>sci-mathematics</herd>
diff --git a/sci-mathematics/yafu/metadata.xml b/sci-mathematics/yafu/metadata.xml
index d98fdc972151..8a94e31da312 100644
--- a/sci-mathematics/yafu/metadata.xml
+++ b/sci-mathematics/yafu/metadata.xml
@@ -1,4 +1,4 @@
-<?xml version='1.0' encoding='UTF-8'?>
+<?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
   <maintainer>