| 123456789101112131415 |
- <?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>
- <use>
- <flag name="binary">install a binary version (need to do this once to bootstrap, until smlnj is supported)</flag>
- </use>
- <upstream>
- <remote-id type="sourceforge">mlton</remote-id>
- </upstream>
- </pkgmetadata>
|
