projects
/
gentoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
b19b1ef
)
sci-mathematics/psmt2-frontend: RedundantLongDescription
author
Tupone Alfredo
<tupone@gentoo.org>
Sun, 2 Feb 2020 20:45:43 +0000
(21:45 +0100)
committer
Tupone Alfredo
<tupone@gentoo.org>
Sun, 2 Feb 2020 20:45:43 +0000
(21:45 +0100)
Package-Manager: Portage-2.3.79, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
sci-mathematics/psmt2-frontend/metadata.xml
patch
|
blob
|
history
diff --git
a/sci-mathematics/psmt2-frontend/metadata.xml
b/sci-mathematics/psmt2-frontend/metadata.xml
index 53441a5497e79cadc0ac567d838c967b527fbc30..d0e866f244f87cf428fd534c8198944bfd41dc42 100644
(file)
--- a/
sci-mathematics/psmt2-frontend/metadata.xml
+++ b/
sci-mathematics/psmt2-frontend/metadata.xml
@@
-5,8
+5,4
@@
<email>tupone@gentoo.org</email>
<name>Tupone Alfredo</name>
</maintainer>
- <longdescription lang="en">
- A library to parse and type-check a conservative extension of the
- SMT-LIB 2 standard with prenex polymorphism.
- </longdescription>
</pkgmetadata>