| Type | DIST |
|---|---|
| File | cadical-3.0.0.tar.gz |
| Size | 885834 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 3b3fc5c52a45cf4094b6a6e20d394bb2dcffd7933f0b3a7c3fa6fdf28e2138191a4f678a0eea8416380762c5cd16478de91a26dbc93a487426f55431cd3e9313 |
| SHA512 | df0149ca658d55a6c0dbd6209ddf21578ccfc2142eae76847302a7fb9716d25b1ca4ead7cc79cf5d63f0e71538aaa0d94863c0bb3c77a0287b78bf15316eec56 |