summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2017-04-27 12:37:40 +0200
committerAlexis Ballier <aballier@gentoo.org>2017-04-27 12:40:03 +0200
commitecbfa5a5ec5aaf18def71908af4cce785fdd5de9 (patch)
treeb07871410d2e510cc5c3aabb099bc0a292d0cbe5 /dev-ml
parentdev-ml/ocamlgraph: add remoteid on the github mirror (diff)
downloadgentoo-ecbfa5a5ec5aaf18def71908af4cce785fdd5de9.tar.gz
gentoo-ecbfa5a5ec5aaf18def71908af4cce785fdd5de9.tar.bz2
gentoo-ecbfa5a5ec5aaf18def71908af4cce785fdd5de9.zip
dev-ml/camlp5: add remoteid
Package-Manager: Portage-2.3.5, Repoman-2.3.2
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/camlp5/metadata.xml3
1 files changed, 3 insertions, 0 deletions
diff --git a/dev-ml/camlp5/metadata.xml b/dev-ml/camlp5/metadata.xml
index ffac4d7ebc01..bcb339ab42cf 100644
--- a/dev-ml/camlp5/metadata.xml
+++ b/dev-ml/camlp5/metadata.xml
@@ -5,4 +5,7 @@
<email>ml@gentoo.org</email>
<name>Gentoo ML Project</name>
</maintainer>
+ <upstream>
+ <remote-id type="github">camlp5/camlp5</remote-id>
+ </upstream>
</pkgmetadata>