/sci-mathematics/yices2/

• ../
• Manifest
• metadata.xml
• yices2-2.6.4-r1.ebuild