diff options
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> |