| Type | DIST |
|---|---|
| File | cvc4-1.8.tar.gz |
| Size | 7554297 bytes |
| Type | Value |
|---|---|
| BLAKE2B | f4d2b223ba2c01ef745520d8874381a1873358fbc7eca12559656512ffeefccec4eca3d73a26debf34110ca14a3bccf35ca87e2a49575b8b67484bed79df081c |
| SHA512 | d6b0153b0f5c4e615c995a8eecfbfd783cfc1004c5134c6880230044081c71d638fee39cceb987eb8d72e91b2b6596b184dc0daacec8880cfc176c6dee8aa445 |