pkgsrc/math/yices2