Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/io-page/metadata.xml5
-rw-r--r--dev-ml/mirage-profile/metadata.xml5
-rw-r--r--dev-ml/ocaml-cstruct/metadata.xml5
-rw-r--r--dev-ml/ocaml-dns/metadata.xml5
-rw-r--r--dev-ml/ocaml-pcap/metadata.xml5
-rw-r--r--dev-ml/ocaml-uri/metadata.xml5
-rw-r--r--dev-ml/ocplib-endian/metadata.xml5
-rw-r--r--dev-ml/qcheck/metadata.xml5
-rw-r--r--dev-ml/stringext/metadata.xml5
9 files changed, 36 insertions, 9 deletions
diff --git a/dev-ml/io-page/metadata.xml b/dev-ml/io-page/metadata.xml
index a33970c685ba..832ee8891cd4 100644
--- a/dev-ml/io-page/metadata.xml
+++ b/dev-ml/io-page/metadata.xml
@@ -1,4 +1,4 @@
-<?xml version="1.0" encoding="UTF-8"?>
+<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<herd>ml</herd>
@@ -6,4 +6,7 @@
<maintainer>
<email>tomboy64@sina.cn</email>
</maintainer>
+ <upstream>
+ <remote-id type="github">mirage/io-page</remote-id>
+ </upstream>
</pkgmetadata>
diff --git a/dev-ml/mirage-profile/metadata.xml b/dev-ml/mirage-profile/metadata.xml
index a33970c685ba..13a51b969068 100644
--- a/dev-ml/mirage-profile/metadata.xml
+++ b/dev-ml/mirage-profile/metadata.xml
@@ -1,4 +1,4 @@
-<?xml version="1.0" encoding="UTF-8"?>
+<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<herd>ml</herd>
@@ -6,4 +6,7 @@
<maintainer>
<email>tomboy64@sina.cn</email>
</maintainer>
+ <upstream>
+ <remote-id type="github">mirage/mirage-profile</remote-id>
+ </upstream>
</pkgmetadata>
diff --git a/dev-ml/ocaml-cstruct/metadata.xml b/dev-ml/ocaml-cstruct/metadata.xml
index 4913ab22f85c..d81d9c8d513c 100644
--- a/dev-ml/ocaml-cstruct/metadata.xml
+++ b/dev-ml/ocaml-cstruct/metadata.xml
@@ -1,4 +1,4 @@
-<?xml version="1.0" encoding="UTF-8"?>
+<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<herd>ml</herd>
@@ -11,4 +11,7 @@
<flag name="camlp4">Enable support for camlp4</flag>
<flag name="lwt">Enable threads via lwt</flag>
</use>
+ <upstream>
+ <remote-id type="github">mirage/ocaml-cstruct</remote-id>
+ </upstream>
</pkgmetadata>
diff --git a/dev-ml/ocaml-dns/metadata.xml b/dev-ml/ocaml-dns/metadata.xml
index d639c50aaf16..048f61d2302c 100644
--- a/dev-ml/ocaml-dns/metadata.xml
+++ b/dev-ml/ocaml-dns/metadata.xml
@@ -1,4 +1,4 @@
-<?xml version="1.0" encoding="UTF-8"?>
+<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<herd>ml</herd>
@@ -10,4 +10,7 @@
<flag name="async">support for asynchronous execution</flag>
<flag name="lwt">enable threads via lwt</flag>
</use>
+ <upstream>
+ <remote-id type="github">mirage/ocaml-dns</remote-id>
+ </upstream>
</pkgmetadata>
diff --git a/dev-ml/ocaml-pcap/metadata.xml b/dev-ml/ocaml-pcap/metadata.xml
index a33970c685ba..1f1335cea28b 100644
--- a/dev-ml/ocaml-pcap/metadata.xml
+++ b/dev-ml/ocaml-pcap/metadata.xml
@@ -1,4 +1,4 @@
-<?xml version="1.0" encoding="UTF-8"?>
+<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<herd>ml</herd>
@@ -6,4 +6,7 @@
<maintainer>
<email>tomboy64@sina.cn</email>
</maintainer>
+ <upstream>
+ <remote-id type="github">mirage/ocaml-pcap</remote-id>
+ </upstream>
</pkgmetadata>
diff --git a/dev-ml/ocaml-uri/metadata.xml b/dev-ml/ocaml-uri/metadata.xml
index e4232a4ed079..06b4aa188a6e 100644
--- a/dev-ml/ocaml-uri/metadata.xml
+++ b/dev-ml/ocaml-uri/metadata.xml
@@ -1,4 +1,4 @@
-<?xml version="1.0" encoding="UTF-8"?>
+<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<herd>ml</herd>
@@ -9,4 +9,7 @@
<use>
<flag name="allservices">Compile support for all service types</flag>
</use>
+ <upstream>
+ <remote-id type="github">mirage/ocaml-uri</remote-id>
+ </upstream>
</pkgmetadata>
diff --git a/dev-ml/ocplib-endian/metadata.xml b/dev-ml/ocplib-endian/metadata.xml
index a33970c685ba..4bc293eb2788 100644
--- a/dev-ml/ocplib-endian/metadata.xml
+++ b/dev-ml/ocplib-endian/metadata.xml
@@ -1,4 +1,4 @@
-<?xml version="1.0" encoding="UTF-8"?>
+<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<herd>ml</herd>
@@ -6,4 +6,7 @@
<maintainer>
<email>tomboy64@sina.cn</email>
</maintainer>
+ <upstream>
+ <remote-id type="github">OCamlPro/ocplib-endian</remote-id>
+ </upstream>
</pkgmetadata>
diff --git a/dev-ml/qcheck/metadata.xml b/dev-ml/qcheck/metadata.xml
index 04ee8254cfb8..aa4fd4b71e3a 100644
--- a/dev-ml/qcheck/metadata.xml
+++ b/dev-ml/qcheck/metadata.xml
@@ -1,4 +1,4 @@
-<?xml version="1.0" encoding="UTF-8"?>
+<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<herd>ml</herd>
@@ -9,4 +9,7 @@
<use>
<flag name="ounit">Enable integration with ounit</flag>
</use>
+ <upstream>
+ <remote-id type="github">c-cube/qcheck</remote-id>
+ </upstream>
</pkgmetadata>
diff --git a/dev-ml/stringext/metadata.xml b/dev-ml/stringext/metadata.xml
index a33970c685ba..e08529e6e7b9 100644
--- a/dev-ml/stringext/metadata.xml
+++ b/dev-ml/stringext/metadata.xml
@@ -1,4 +1,4 @@
-<?xml version="1.0" encoding="UTF-8"?>
+<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<herd>ml</herd>
@@ -6,4 +6,7 @@
<maintainer>
<email>tomboy64@sina.cn</email>
</maintainer>
+ <upstream>
+ <remote-id type="github">rgrinberg/stringext</remote-id>
+ </upstream>
</pkgmetadata>