commit: 70afc103e172cdbc91713e57efe76ac1d9c5c5f3
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Mar 6 03:22:42 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Mar 6 03:22:42 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=70afc103
app-emacs/company-coq: update metadata - add longdescription
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
app-emacs/company-coq/metadata.xml | 8 ++++++++
1 file changed, 8 insertions(+)
diff --git a/app-emacs/company-coq/metadata.xml
b/app-emacs/company-coq/metadata.xml
index 824f0351513e..e08a1ec41ec3 100644
--- a/app-emacs/company-coq/metadata.xml
+++ b/app-emacs/company-coq/metadata.xml
@@ -10,6 +10,14 @@
<email>[email protected]</email>
<name>Gentoo GNU Emacs project</name>
</maintainer>
+ <longdescription>
+ Company-Coq is a new Emacs package that extends Proof General with a
+ contextual auto-completion engine for Coq proofs and many additional
+ facilities to make writing proofs easier and more efficient. Beyond fuzzy
+ auto-completion of tactics, options, module names, and local definitions,
+ company-coq offers offline in-editor documentation, convenient snippets,
+ and multiple other Coq-specific IDE features.
+ </longdescription>
<upstream>
<bugs-to>https://github.com/cpitclaudel/company-coq/issues/</bugs-to>
<remote-id type="github">cpitclaudel/company-coq</remote-id>
