diff options
| author |   Sam James <sam@gentoo.org> | 2021-02-08 07:38:05 +0000 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2021-02-08 07:38:05 +0000 |
| commit | f55b362ee41cea92888317153662c1d01b722c3e (patch) | |
| tree | e0f8e5777f47bc37fb4805e37aa4fd076678c05e /sci-mathematics | |
| parent | sci-mathematics/coq: fix metadata indentation (diff) | |
| download | gentoo-f55b362ee41cea92888317153662c1d01b722c3e.tar.gz gentoo-f55b362ee41cea92888317153662c1d01b722c3e.tar.bz2 gentoo-f55b362ee41cea92888317153662c1d01b722c3e.zip | |
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>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/coq/metadata.xml | 3 |
1 files changed, 3 insertions, 0 deletions
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> |