diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-06-02 15:32:09 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-06-02 15:32:09 +0200 |
| commit | e5f415689b854a16b2cfcd63bc3db855af406029 (patch) | |
| tree | a1b0b6e22dcdc8d1a1cd8df521b94b3b5960c0be /app-emacs/proofgeneral | |
| parent | app-editors/neovim: Stabilize 0.7.0 amd64, #849344 (diff) | |
| download | gentoo-e5f415689b854a16b2cfcd63bc3db855af406029.tar.gz gentoo-e5f415689b854a16b2cfcd63bc3db855af406029.tar.bz2 gentoo-e5f415689b854a16b2cfcd63bc3db855af406029.zip | |
app-emacs/proofgeneral: update matadata
add longdescription and upstream
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/metadata.xml | 9 |
1 files changed, 9 insertions, 0 deletions
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>gnu-emacs@gentoo.org</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> |