summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/ppx_tools/metadata.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/ppx_tools/metadata.xml b/dev-ml/ppx_tools/metadata.xml
index e9fc8c8473cf..56d1f00f232a 100644
--- a/dev-ml/ppx_tools/metadata.xml
+++ b/dev-ml/ppx_tools/metadata.xml
@@ -6,6 +6,6 @@
<name>Gentoo ML Project</name>
</maintainer>
<upstream>
- <remote-id type="github">ocsigen/tyxml</remote-id>
+ <remote-id type="github">alainfrisch/ppx_tools</remote-id>
</upstream>
</pkgmetadata>