sci-mathematics/minisat/metadata.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
   3 <pkgmetadata>
   4 <maintainer type="project">
   5 <email>sci@gentoo.org</email>
   6 <name>Gentoo Science Project</name>
   7 </maintainer>
   8 <use>
   9 <flag name="extended-solver">Build extended version of SAT solver with
  10  additional features.</flag>
  11 </use>
  12 </pkgmetadata>