Gentoo Archives: gentoo-commits

From:	Sam James <sam@g.o>
To:	gentoo-commits@l.g.o
Subject:	[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq/
Date:	Mon, 08 Feb 2021 08:00:27
Message-Id:	`1612769885.f55b362ee41cea92888317153662c1d01b722c3e.sam@gentoo`

1	commit: f55b362ee41cea92888317153662c1d01b722c3e
2	Author: Sam James <sam <AT> gentoo <DOT> org>
3	AuthorDate: Mon Feb 8 07:38:05 2021 +0000
4	Commit: Sam James <sam <AT> gentoo <DOT> org>
5	CommitDate: Mon Feb 8 07:38:05 2021 +0000
6	URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f55b362e
7
8	sci-mathematics/coq: add github remote-id
9
10	Package-Manager: Portage-3.0.14, Repoman-3.0.2
11	Signed-off-by: Sam James <sam <AT> gentoo.org>
12
13	sci-mathematics/coq/metadata.xml \| 3 +++
14	1 file changed, 3 insertions(+)
15
16	diff --git a/sci-mathematics/coq/metadata.xml b/sci-mathematics/coq/metadata.xml
17	index f49ad93c8b0..c08f4cb9684 100644
18	--- a/sci-mathematics/coq/metadata.xml
19	+++ b/sci-mathematics/coq/metadata.xml
20	@@ -23,4 +23,7 @@
21	<use>
22	<flag name="camlp5">Build using camlp5. This is required for some plugins like Ssreflect.</flag>
23	</use>
24	+ <upstream>
25	+ <remote-id type="github">coq/coq</remote-id>
26	+ </upstream>
27	</pkgmetadata>