summaryrefslogtreecommitdiff
path: root/dev-lang/polyml/metadata.xml
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2021-08-07 00:16:33 +0100
committerV3n3RiX <venerix@redcorelinux.org>2021-08-07 00:16:33 +0100
commitd162ba1860a88062f4cd61f8b52fc303ba0b2991 (patch)
tree24cd2cf57f3932a24b96e4a0f6666489447e43ba /dev-lang/polyml/metadata.xml
parent590b9b7b03bf4651e099949e318755af7cfa81b8 (diff)
gentoo resync : 07.08.2021
Diffstat (limited to 'dev-lang/polyml/metadata.xml')
-rw-r--r--dev-lang/polyml/metadata.xml1
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-lang/polyml/metadata.xml b/dev-lang/polyml/metadata.xml
index d54adc1d520f..f190cff1cfe1 100644
--- a/dev-lang/polyml/metadata.xml
+++ b/dev-lang/polyml/metadata.xml
@@ -6,6 +6,7 @@
<flag name="portable">Build the portable interpreter version of Poly/ML instead of native</flag>
</use>
<upstream>
+ <remote-id type="github">polyml/polyml</remote-id>
<remote-id type="sourceforge">polyml</remote-id>
</upstream>
</pkgmetadata>