From f5c605ffb6b72aa15ba2e5235d486674d96b2ec0 Mon Sep 17 00:00:00 2001 From: Tupone Alfredo Date: Sun, 2 Feb 2020 21:45:43 +0100 Subject: [PATCH] sci-mathematics/psmt2-frontend: RedundantLongDescription Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Alfredo Tupone --- sci-mathematics/psmt2-frontend/metadata.xml | 4 ---- 1 file changed, 4 deletions(-) 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. - -- 2.26.2