summaryrefslogtreecommitdiff
blob: 548e15439c5dc591ee70b861cd52913c18b6f00f (plain)
1
2
3
4
5
6
7
8
9
10
11
<?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>
	<upstream>
		<remote-id type="github">janestreet/ppx_optional</remote-id>
	</upstream>
</pkgmetadata>