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 | |
| parent | d42200bec37eef2a7478d88988ff00addd0a9202 (diff) | |
gentoo resync : 05.02.2020
Diffstat (limited to 'sci-mathematics/psmt2-frontend')
| -rw-r--r-- | sci-mathematics/psmt2-frontend/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/psmt2-frontend/metadata.xml | 4 |
2 files changed, 1 insertions, 5 deletions
diff --git a/sci-mathematics/psmt2-frontend/Manifest b/sci-mathematics/psmt2-frontend/Manifest index 4f9b695f4f27..1c63be52d587 100644 --- a/sci-mathematics/psmt2-frontend/Manifest +++ b/sci-mathematics/psmt2-frontend/Manifest @@ -1,4 +1,4 @@ AUX psmt2-frontend-0.2-gentoo.patch 607 BLAKE2B 4d3a967d9c694e74b1e33426d73f41e97be37510241291339e4d7c4e677ef247cc9dd28728df4fcdb6a0819aa8d1ccb6233d65cb206cbf78dcf9004af7744a7b SHA512 6ec9c1c89ceb023b57820f083722b4c4a693a27c38fcc63a9bf6403853c716a398f055a8db579e683a03f2ca8ccfcd9235796ce1f44867d47805279f6a0a8700 DIST psmt2-frontend-0.2.tar.gz 26976 BLAKE2B 2b45ceb8d824f5b11455ad0026064b6329b6c6e6173c091b36dc42e8c1dd36924d12d9296db3dcfe748a84fdc37a1a530f3ef485bec904c19a0e6aa8034149f9 SHA512 c29802f4265a1cbdb05ee9154ce2c156136af258bc7283dd0fb1d1b2ce162b671553cab96484036d898e3ff7c26ab133f5c2e1ca88e9e48660b2faa139fd1f41 EBUILD psmt2-frontend-0.2.ebuild 716 BLAKE2B 3d44765040405bf5beb779dd7f1fb388c0dfaba41aa14d84a144482f7acd5c354e87845b24fed33e145981850124a1ec73e4914ec091ce9eb93b0f56631cb3fa SHA512 678f6e15cff8e3d1cec09affed6e70e6ad596f9936fdf8f87ac69c08eacda841a0e64b92a6bd3420683fc5a661969569b139ff0a996cec65f90680ba88b586a9 -MISC metadata.xml 413 BLAKE2B 0f866e4371235aae4d041e7bd1ad4011e680ab501c764559d9d52fae48a2ace5825230a0b2fa8c411e9ae0d55d474fe63250de1bb9983acf328d6a4c2412802c SHA512 1a6fa4ac4c2615a491861c78d8fa5680c4de8fef1caa034601a8ffd75e0c714109d45af96c16348dc27bb3848863c18a28720a2e960219237eea4d3154cb17f3 +MISC metadata.xml 247 BLAKE2B ca08677c4c0af66af431abe578122a2ea0278f7ffabab245eec806167a6226c65f97e9826d64fc4b82eb14b6200cd1e3a31a5b4999e18aac41a4f9af43d708d6 SHA512 fff6c25e644477aaa35b838e10c44ca8eae9824ef8f19795e31201db40c10068f0216dec38deb0ba80782155b43fd1d72fb888cb825eaabacc3bd1ec0d18f3ca 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> |