summaryrefslogtreecommitdiff
blob: c3f48b377ce1d18ff0f3a6f67b5ca1a38583b246 (plain)
1
2
3
4
5
6
7
8
9
10
11
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
	<herd>ml</herd>
	<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>