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>
|
GitWeb
