| Type | DIST |
|---|---|
| File | why3-1.8.1.tar.gz |
| Size | 7371036 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 9cee7cdf2eae77d46b7be6e5c572007e93e449a0ea5ae68d1903b020731bf7197adf2d6b006f10d58a8422961071db90ab5bf676a9c40b4946219df234168e1a |
| SHA512 | b188b64cc8f116c2174e78d1ccb65dede0984265b8ed2fdf8160bf67e74bf9fb24cbb1d5b3c130f924424222b9241f89525cade66f5de7ef66d714eb2e6448b4 |