dev-lang/polyml/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                 Poly/ML is a full implementation of Standard ML available as open-source.
   7         </longdescription>
   8         <use>
   9                 <flag name="portable">Build the portable interpreter version of Poly/ML instead of native</flag>
  10         </use>
  11         <upstream>
  12                 <remote-id type="sourceforge">polyml</remote-id>
  13         </upstream>
  14 </pkgmetadata>