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>