diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-06-01 02:12:45 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-06-01 02:12:45 +0000 |
| commit | 4d16963f8fb85b70a6babca998922fd51aeedc75 (patch) | |
| tree | 39c97ccaed8e4bb29fab3629fb04fcc72a94104a /sci-mathematics/cvc3/metadata.xml | |
| parent | inherit eutils for epatch (diff) | |
| download | gentoo-2-4d16963f8fb85b70a6babca998922fd51aeedc75.tar.gz gentoo-2-4d16963f8fb85b70a6babca998922fd51aeedc75.tar.bz2 gentoo-2-4d16963f8fb85b70a6babca998922fd51aeedc75.zip | |
Fix bug #418455 - sci-mathematics/cvs3 license issues. Fix typos in sed.
(Portage version: 2.1.10.63/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics/cvc3/metadata.xml')
| -rw-r--r-- | sci-mathematics/cvc3/metadata.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sci-mathematics/cvc3/metadata.xml b/sci-mathematics/cvc3/metadata.xml index db25562598fb..db1bc6cd9c5e 100644 --- a/sci-mathematics/cvc3/metadata.xml +++ b/sci-mathematics/cvc3/metadata.xml @@ -34,7 +34,8 @@ and has a wide variety of features including: <flag name='isabelle'>Add integration support for the Isabelle/HOL theorem prover.</flag> <flag name='zchaff'>Use the SAT solver zchaff whose copyright is - owned by Princeton University and is more restrictive (see license). + owned by Princeton University and is more restrictive (see zchaff + license). </flag> </use> </pkgmetadata> |