math/yices2/DESCR: c24d5609bcebd20dd03e0c12d8db203fc3d8d14c7021a056af81f4e1911f67da
math/yices2/Makefile: 31932b9a92f181689477a5ed2078361a7b62c5eed7de49eadd1607b02c9bf4c3
math/yices2/PLIST: 3162e496258fee2643e23c4d156a3e77536d9650cf908831afbd917b1613266a
math/yices2/buildlink3.mk: fae26ac3997c7d71c03e512884a0a3d002dc43a23724dd9056c597310831eaeb
math/yices2/distinfo: 63dac7eebfa5f35290c8cbde5ba78c55019e279ed5f0cbf21e1494a962949293
math/yices2/make.core: 
