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 @@
sci-mathematics@gentoo.org
Gentoo Mathematics Project
-
+
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.
+ https://github.com/coq/coq/releases/
+ https://github.com/coq/coq/issues/
coq/coq