commit: 8edf3b96560d39a8af2557eabdb8c58164fce522
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Dec 27 23:58:50 2021 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Dec 27 23:58:50 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8edf3b96
sci-mathematics/psmt2-frontend: metadata: add longdescription and upstream
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/psmt2-frontend/metadata.xml | 8 ++++++++
1 file changed, 8 insertions(+)
diff --git a/sci-mathematics/psmt2-frontend/metadata.xml
b/sci-mathematics/psmt2-frontend/metadata.xml
index a8706c2fbce7..ae10bf8fbbed 100644
--- a/sci-mathematics/psmt2-frontend/metadata.xml
+++ b/sci-mathematics/psmt2-frontend/metadata.xml
@@ -10,4 +10,12 @@
<email>sci-mathemat...@gentoo.org</email>
<name>Gentoo Mathematics Project</name>
</maintainer>
+ <longdescription>
+ psmt2-frontend is an OCaml library to parse and type-check a conservative
+ extension of the SMT-LIB 2 standard with prenex polymorphism.
+ </longdescription>
+ <upstream>
+ <bugs-to>https://github.com/ACoquereau/psmt2-frontend/issues/</bugs-to>
+ <remote-id type="github">ACoquereau/psmt2-frontend</remote-id>
+ </upstream>
</pkgmetadata>
