summaryrefslogtreecommitdiff
blob: ec7db9c9396f4d35576883ea2729959cb639363f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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>