summaryrefslogtreecommitdiff
path: root/dev-ml/core_kernel/metadata.xml
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2018-07-14 21:03:06 +0100
committerV3n3RiX <venerix@redcorelinux.org>2018-07-14 21:03:06 +0100
commit8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch)
tree7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-ml/core_kernel/metadata.xml
parent30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff)
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/core_kernel/metadata.xml')
-rw-r--r--dev-ml/core_kernel/metadata.xml19
1 files changed, 19 insertions, 0 deletions
diff --git a/dev-ml/core_kernel/metadata.xml b/dev-ml/core_kernel/metadata.xml
new file mode 100644
index 000000000000..ec7db9c9396f
--- /dev/null
+++ b/dev-ml/core_kernel/metadata.xml
@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>Gentoo ML Project</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
+ Core is to start your file with:
+
+ open Core_kernel.Std
+ </longdescription>
+ <upstream>
+ <remote-id type="github">janestreet/core_kernel</remote-id>
+ </upstream>
+</pkgmetadata>