/sci-mathematics/minisat+/

• ../
• Manifest
• files
• metadata.xml
• minisat+-2007.01.05-r1.ebuild