commit: 68e5ed5048d82c4e532f39a0b6e1e7aee859948e
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Feb 27 03:47:24 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Feb 27 03:47:24 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=68e5ed50
sci-mathematics/coq: update metadata
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/coq/metadata.xml | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/sci-mathematics/coq/metadata.xml b/sci-mathematics/coq/metadata.xml
index 3a90dda7ec2e..bb29aa903edb 100644
--- a/sci-mathematics/coq/metadata.xml
+++ b/sci-mathematics/coq/metadata.xml
@@ -5,7 +5,7 @@
<email>[email protected]</email>
<name>Gentoo Mathematics Project</name>
</maintainer>
- <longdescription lang="en">
+ <longdescription>
Developed in the LogiCal project, the Coq tool is a formal proof
management system: a proof done with Coq is mechanically checked
by the machine.
@@ -21,6 +21,8 @@
theories.
</longdescription>
<upstream>
+ <changelog>https://github.com/coq/coq/releases/</changelog>
+ <bugs-to>https://github.com/coq/coq/issues/</bugs-to>
<remote-id type="github">coq/coq</remote-id>
</upstream>
</pkgmetadata>
