diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2016-01-24 23:15:58 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2016-01-24 23:58:38 +0100 |
| commit | 4412ca2c79a50481eff42550e9d63cba74c9ffc4 (patch) | |
| tree | c9fc5379b3c3097e4235ec64664ef2d893dd58ad /sci-mathematics/cvc3 | |
| parent | package.use.mask studio for net-analyzer/icinga2 (diff) | |
| download | gentoo-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.xml | 6 |
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> |