diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2020-05-14 11:09:11 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2020-05-14 11:09:11 +0100 |
commit | deba8115d2c2af26df42966b91ef04ff4dd79cde (patch) | |
tree | 9a48f42594e1a9e6b2020d5535a784314434d7a7 /sci-mathematics/z3/metadata.xml | |
parent | 38423c67c8a23f6a1bc42038193182e2da3116eb (diff) |
gentoo resync : 14.05.2020
Diffstat (limited to 'sci-mathematics/z3/metadata.xml')
-rw-r--r-- | sci-mathematics/z3/metadata.xml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/sci-mathematics/z3/metadata.xml b/sci-mathematics/z3/metadata.xml index 15735c68e920..65ab90b88bdf 100644 --- a/sci-mathematics/z3/metadata.xml +++ b/sci-mathematics/z3/metadata.xml @@ -15,9 +15,6 @@ <email>sci@gentoo.org</email> <name>Gentoo Science Project</name> </maintainer> - <longdescription lang="en"> -Z3 is a high-performance theorem prover being developed at Microsoft Research. - </longdescription> <use> <flag name="isabelle">Add integration support for the Isabelle/HOL theorem prover.</flag> |