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         <upstream>
  13                 <remote-id type="github">niklasso/minisat</remote-id>
  14         </upstream>
  15 </pkgmetadata>