DIST yices2-2.6.5.gh.tar.gz 10387735 BLAKE2B de8c198efa108ee8ce7118409c59ad7b0260315928da1ae863ac7dd2389b469619b56cab45461d886123e6fb92775545f1603a670716d59e25573e0398e02cce SHA512 59015bfa526871d36999485342e6f35e8849495923c824a58168fd6fb058ead8d10914e832989cce177ac9149eb0354779f8febbcb9f9b943112d54a8ccbd3db
DIST yices2-2.7.0.gh.tar.gz 10460379 BLAKE2B 69dd8f08d8e141620ffdd32bd44937e2474dfc37ad966e24faeb366dd6f58385d7b4d680498c01010561874ac7bea1953368f7e0483286ce38569f10910721a4 SHA512 5e2c16e23c76264b74191f8c010bbc8a6593ee31298b9af5146c176c5ed0a651ce6c99350e7afeb3fee8a69b7c062fa610f865ae37b035d6a3767a8e46a884bd