summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2016-01-24 23:15:58 +0100
committerMichał Górny <mgorny@gentoo.org>2016-01-24 23:58:38 +0100
commit4412ca2c79a50481eff42550e9d63cba74c9ffc4 (patch)
treec9fc5379b3c3097e4235ec64664ef2d893dd58ad /sci-mathematics/cvc3
parentpackage.use.mask studio for net-analyzer/icinga2 (diff)
downloadgentoo-4412ca2c79a50481eff42550e9d63cba74c9ffc4.tar.gz
gentoo-4412ca2c79a50481eff42550e9d63cba74c9ffc4.tar.bz2
gentoo-4412ca2c79a50481eff42550e9d63cba74c9ffc4.zip
Unify quoting in metadata.xml files for machine processing
Force unified quoting in all metadata.xml files since lxml does not preserve original use of single and double quotes. Ensuring unified quoting before the process allows distinguishing the GLEP 67-related metadata.xml changes from unrelated quoting changes.
Diffstat (limited to 'sci-mathematics/cvc3')
-rw-r--r--sci-mathematics/cvc3/metadata.xml6
1 files changed, 3 insertions, 3 deletions
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>