diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2020-02-02 21:45:43 +0100 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2020-02-02 21:45:43 +0100 |
| commit | f5c605ffb6b72aa15ba2e5235d486674d96b2ec0 (patch) | |
| tree | 532a87c2bd710c81e8d3d5eec3cff99d85d26540 /sci-mathematics/psmt2-frontend | |
| parent | net-print/cnijfilter2: RedundantLongDescription (diff) | |
| download | gentoo-f5c605ffb6b72aa15ba2e5235d486674d96b2ec0.tar.gz gentoo-f5c605ffb6b72aa15ba2e5235d486674d96b2ec0.tar.bz2 gentoo-f5c605ffb6b72aa15ba2e5235d486674d96b2ec0.zip | |
sci-mathematics/psmt2-frontend: RedundantLongDescription
Package-Manager: Portage-2.3.79, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'sci-mathematics/psmt2-frontend')
| -rw-r--r-- | sci-mathematics/psmt2-frontend/metadata.xml | 4 |
1 files changed, 0 insertions, 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 @@ <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> |