diff options
| -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> |