From 68e5ed5048d82c4e532f39a0b6e1e7aee859948e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maciej=20Bar=C4=87?= <xgqt@gentoo.org>
Date: Sun, 27 Feb 2022 04:47:24 +0100
Subject: [PATCH] sci-mathematics/coq: update metadata
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@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 3a90dda7ec2eb..bb29aa903edbb 100644
--- a/sci-mathematics/coq/metadata.xml
+++ b/sci-mathematics/coq/metadata.xml
@@ -5,7 +5,7 @@
 		<email>sci-mathematics@gentoo.org</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>