/sci-mathematics/yices2/

• ../
• Manifest
• metadata.xml
• yices2-2.6.5.ebuild
• yices2-2.7.0.ebuild