From: Tupone Alfredo Date: Sun, 2 Feb 2020 20:45:43 +0000 (+0100) Subject: sci-mathematics/psmt2-frontend: RedundantLongDescription X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=f5c605ffb6b72aa15ba2e5235d486674d96b2ec0;p=gentoo.git sci-mathematics/psmt2-frontend: RedundantLongDescription Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Alfredo Tupone --- diff --git a/sci-mathematics/psmt2-frontend/metadata.xml b/sci-mathematics/psmt2-frontend/metadata.xml index 53441a5497e7..d0e866f244f8 100644 --- a/sci-mathematics/psmt2-frontend/metadata.xml +++ b/sci-mathematics/psmt2-frontend/metadata.xml @@ -5,8 +5,4 @@ tupone@gentoo.org Tupone Alfredo - - A library to parse and type-check a conservative extension of the - SMT-LIB 2 standard with prenex polymorphism. -