diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2020-05-14 08:23:07 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2020-05-14 08:23:07 +0200 |
| commit | 48b77645d2abe993d8d090712ff698fb620ac869 (patch) | |
| tree | df06d24a1538e95e8fe982927ed064bd3e459bf5 /sci-mathematics | |
| parent | net-misc/miniupnpd: Bump to 2.1.20200510 (diff) | |
| download | gentoo-48b77645d2abe993d8d090712ff698fb620ac869.tar.gz gentoo-48b77645d2abe993d8d090712ff698fb620ac869.tar.bz2 gentoo-48b77645d2abe993d8d090712ff698fb620ac869.zip | |
sci-mathematics/z3: Remove redundant longdesc
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -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> |