sci-mathematics/psmt2-frontend: RedundantLongDescription
authorTupone Alfredo <tupone@gentoo.org>
Sun, 2 Feb 2020 20:45:43 +0000 (21:45 +0100)
committerTupone 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

index 53441a5497e79cadc0ac567d838c967b527fbc30..d0e866f244f87cf428fd534c8198944bfd41dc42 100644 (file)
@@ -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>