<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
	<!-- maintainer-needed -->
	<upstream>
		<doc>https://backtracking.github.io/bheap</doc>
		<bugs-to>https://github.com/backtracking/bheap/issues</bugs-to>
		<remote-id type="github">backtracking/bheap</remote-id>
		<maintainer>
			<name>Jean-Christophe Filliâtre</name>
			<email>Jean-Christophe.Filliatre@lri.fr</email>
		</maintainer>
	</upstream>
</pkgmetadata>
