-<?xml version='1.0' encoding='UTF-8'?>
+<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<maintainer type="project">
<name>Gentoo Science Project</name>
</maintainer>
<use>
- <flag name="extended-solver">Build extended version of SAT solver with
- additional features.</flag>
+ <flag name="extended-solver">Build extended version of SAT solver with additional features.</flag>
</use>
<upstream>
<remote-id type="github">niklasso/minisat</remote-id>