/math/yices2/

• ../
• DESCR
• Makefile
• PLIST
• buildlink3.mk
• distinfo
• patches