From f55b362ee41cea92888317153662c1d01b722c3e Mon Sep 17 00:00:00 2001
From: Sam James <sam@gentoo.org>
Date: Mon, 8 Feb 2021 07:38:05 +0000
Subject: sci-mathematics/coq: add github remote-id

Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Sam James <sam@gentoo.org>
---
 sci-mathematics/coq/metadata.xml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'sci-mathematics/coq')

diff --git a/sci-mathematics/coq/metadata.xml b/sci-mathematics/coq/metadata.xml
index f49ad93c8b0c..c08f4cb96842 100644
--- a/sci-mathematics/coq/metadata.xml
+++ b/sci-mathematics/coq/metadata.xml
@@ -23,4 +23,7 @@
 	<use>
 		<flag name="camlp5">Build using camlp5. This is required for some plugins like Ssreflect.</flag>
 	</use>
+	<upstream>
+		<remote-id type="github">coq/coq</remote-id>
+	</upstream>
 </pkgmetadata>
-- 
cgit v1.2.3-65-gdbad