summaryrefslogtreecommitdiff
blob: 1d99050d0a599f8a9047a3385be28bb9f2b70acb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
	<maintainer type="project">
		<email>sci@gentoo.org</email>
		<name>Gentoo Science Project</name>
	</maintainer>
	<use>
		<flag name="extended-solver">Build extended version of SAT solver with
 additional features.</flag>
	</use>
	<upstream>
		<remote-id type="github">niklasso/minisat</remote-id>
	</upstream>
</pkgmetadata>