diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2020-02-05 18:44:56 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2020-02-05 18:44:56 +0000 |
| commit | 29aabba0ea759c6a2864ff5631735b67ee38e5e0 (patch) | |
| tree | ab466b4dfa7abecb401b2f8039d08af4689306bb /sci-mathematics/psmt2-frontend/metadata.xml | |
| parent | d42200bec37eef2a7478d88988ff00addd0a9202 (diff) | |
gentoo resync : 05.02.2020
Diffstat (limited to 'sci-mathematics/psmt2-frontend/metadata.xml')
| -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> |