math/yices2/DESCR: c24d5609bcebd20dd03e0c12d8db203fc3d8d14c7021a056af81f4e1911f67da
math/yices2/Makefile: 2877124c0aa6cd222cd233fdfdac5bc8b43e55b20f960632f814f2d41f8931f7
math/yices2/PLIST: 232ff23d79eea19194995add9c3898ccdaf584cd322b0f0e3da66f9e46f05b6c
math/yices2/buildlink3.mk: fae26ac3997c7d71c03e512884a0a3d002dc43a23724dd9056c597310831eaeb
math/yices2/distinfo: 990a60003e8c93959e3085492e953ccfd225330df20c06e9870f201d8c093663
