math/yices2/DESCR: c24d5609bcebd20dd03e0c12d8db203fc3d8d14c7021a056af81f4e1911f67da
math/yices2/Makefile: caeb4a60a3e799c09fdc736d64d94367d33a3208f17de5e33f88bb9fbe18e93b
math/yices2/PLIST: 3162e496258fee2643e23c4d156a3e77536d9650cf908831afbd917b1613266a
math/yices2/buildlink3.mk: fae26ac3997c7d71c03e512884a0a3d002dc43a23724dd9056c597310831eaeb
math/yices2/distinfo: 63dac7eebfa5f35290c8cbde5ba78c55019e279ed5f0cbf21e1494a962949293
math/yices2/patches/patch-Makefile.build: f8f05a96477b46d63985abc19c2fba257ce205a6816940d935040ffa1966c07f
math/yices2/patches/patch-autoconf_os: 0d07dad2505329ad5619601756dcf900f15c9c45fa9c7eab61c36779dba512b2
math/yices2/patches/patch-configure.ac: fb8c53b0656006e83a36710dea826731aa4577cefb80ce416a299a6912edaee5
math/yices2/patches/patch-src_Makefile: bd0938222cd4216b9a597a3d4884948e4ee3d3011e5afeff7ebf23d3db8b2782
math/yices2/patches/patch-src_utils_bit__tricks.h: 5422ea4dc5a0bc89920d9bd381bd5a108cc1ee26eeff20b05a46ed3c13319736
