summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2022-06-02 15:32:09 +0200
committerMaciej Barć <xgqt@gentoo.org>2022-06-02 15:32:09 +0200
commite5f415689b854a16b2cfcd63bc3db855af406029 (patch)
treea1b0b6e22dcdc8d1a1cd8df521b94b3b5960c0be /app-emacs/proofgeneral/metadata.xml
parentapp-editors/neovim: Stabilize 0.7.0 amd64, #849344 (diff)
downloadgentoo-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/metadata.xml')
-rw-r--r--app-emacs/proofgeneral/metadata.xml9
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>