commit: e5f415689b854a16b2cfcd63bc3db855af406029 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Thu Jun 2 13:32:09 2022 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Thu Jun 2 13:32:09 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e5f41568
app-emacs/proofgeneral: update matadata add longdescription and upstream Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> app-emacs/proofgeneral/metadata.xml | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/app-emacs/proofgeneral/metadata.xml b/app-emacs/proofgeneral/metadata.xml index 986088003fe1..8cf3eae5dcc1 100644 --- a/app-emacs/proofgeneral/metadata.xml +++ b/app-emacs/proofgeneral/metadata.xml @@ -5,5 +5,14 @@ <email>[email protected]</email> <name>Gentoo GNU Emacs project</name> </maintainer> +<longdescription> + Proof General is a generic Emacs interface for proof assistants. The aim of + the Proof General project is to provide a powerful, generic environment for + using interactive proof assistants. +</longdescription> <stabilize-allarches/> +<upstream> + <bugs-to>https://github.com/ProofGeneral/PG/issues/</bugs-to> + <remote-id type="github">ProofGeneral/PG</remote-id> +</upstream> </pkgmetadata>
