| Type | DIST |
|---|---|
| File | yices2-2.6.5.gh.tar.gz |
| Size | 10387735 bytes |
| Type | Value |
|---|---|
| BLAKE2B | de8c198efa108ee8ce7118409c59ad7b0260315928da1ae863ac7dd2389b469619b56cab45461d886123e6fb92775545f1603a670716d59e25573e0398e02cce |
| SHA512 | 59015bfa526871d36999485342e6f35e8849495923c824a58168fd6fb058ead8d10914e832989cce177ac9149eb0354779f8febbcb9f9b943112d54a8ccbd3db |