commit: 48b77645d2abe993d8d090712ff698fb620ac869
Author: Michał Górny <mgorny <AT> gentoo <DOT> org>
AuthorDate: Thu May 14 06:23:07 2020 +0000
Commit: Michał Górny <mgorny <AT> gentoo <DOT> org>
CommitDate: Thu May 14 06:23:07 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=48b77645
sci-mathematics/z3: Remove redundant longdesc
Signed-off-by: Michał Górny <mgorny <AT> gentoo.org>
sci-mathematics/z3/metadata.xml | 3 ---
1 file changed, 3 deletions(-)
diff --git a/sci-mathematics/z3/metadata.xml b/sci-mathematics/z3/metadata.xml
index 15735c68e92..65ab90b88bd 100644
--- a/sci-mathematics/z3/metadata.xml
+++ b/sci-mathematics/z3/metadata.xml
@@ -15,9 +15,6 @@
<email>[email protected]</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>
