dev-ml/core_kernel/metadata.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
   3 <pkgmetadata>
   4         <!-- maintainer-needed -->
   5         <longdescription lang="en">
   6                 Core_kernel is the system-independent part of Core.  It is aimed for
   7                 cases when the full Core is not available, such as in Javascript.  It
   8                 provides an overlay on the usual namespace, so the best way to use
   9                 Core is to start your file with:
  10
  11                 open Core_kernel.Std
  12         </longdescription>
  13         <upstream>
  14                 <remote-id type="github">janestreet/core_kernel</remote-id>
  15         </upstream>
  16 </pkgmetadata>