commit: f55b362ee41cea92888317153662c1d01b722c3e
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Feb 8 07:38:05 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Feb 8 07:38:05 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f55b362e
sci-mathematics/coq: add github remote-id
Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Sam James <sam <AT> gentoo.org>
sci-mathematics/coq/metadata.xml | 3 +++
1 file changed, 3 insertions(+)
diff --git a/sci-mathematics/coq/metadata.xml b/sci-mathematics/coq/metadata.xml
index f49ad93c8b0..c08f4cb9684 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>
