| Type | DIST |
|---|---|
| File | yices2-2.7.0.gh.tar.gz |
| Size | 10460379 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 69dd8f08d8e141620ffdd32bd44937e2474dfc37ad966e24faeb366dd6f58385d7b4d680498c01010561874ac7bea1953368f7e0483286ce38569f10910721a4 |
| SHA512 | 5e2c16e23c76264b74191f8c010bbc8a6593ee31298b9af5146c176c5ed0a651ce6c99350e7afeb3fee8a69b7c062fa610f865ae37b035d6a3767a8e46a884bd |