diff options
Diffstat (limited to 'dev-ml/core_kernel/metadata.xml')
| -rw-r--r-- | dev-ml/core_kernel/metadata.xml | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/dev-ml/core_kernel/metadata.xml b/dev-ml/core_kernel/metadata.xml index 04ce58761077..c928994f5fd6 100644 --- a/dev-ml/core_kernel/metadata.xml +++ b/dev-ml/core_kernel/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>ml@gentoo.org</email> - <name>ML</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> + <longdescription lang="en"> Core_kernel is the system-independent part of Core. It is aimed for cases when the full Core is not available, such as in Javascript. It provides an overlay on the usual namespace, so the best way to use @@ -13,7 +13,8 @@ open Core_kernel.Std </longdescription> - <upstream> - <remote-id type="github">janestreet/core_kernel</remote-id> - </upstream> -</pkgmetadata> + <upstream> + <remote-id type="github">janestreet/core_kernel</remote-id> + </upstream> + <origin>gentoo-staging</origin> +</pkgmetadata>
\ No newline at end of file |