math/yices2/DESCR: c24d5609bcebd20dd03e0c12d8db203fc3d8d14c7021a056af81f4e1911f67da
math/yices2/Makefile: 8ad170de0535886cca38421864a6cb7cccc5d58278d216a73f0d4b55ca1b172d
math/yices2/PLIST: 232ff23d79eea19194995add9c3898ccdaf584cd322b0f0e3da66f9e46f05b6c
math/yices2/buildlink3.mk: fae26ac3997c7d71c03e512884a0a3d002dc43a23724dd9056c597310831eaeb
math/yices2/distinfo: f40faa4ce6c5de9bf930f46d275820e102570b26ec0bdc5bf3a4f2943a1e3446
