| Type | DIST |
|---|---|
| File | why3-1.8.0.tar.gz |
| Size | 7373730 bytes |
| Type | Value |
|---|---|
| BLAKE2B | c650d0578c6ae28f01872f01ba2c6e58ebf00c8fc87f4040f51430aad6b94b52f031b17d5b75178a6a6d5f254f3d42dbbdb031f676335a2d896021c0663192a9 |
| SHA512 | 8d30ac4a1280a7d7741ef862365e06aa3218a78fd01ca7f969f0d6515245c7259fcc81897bfe08c581c6b37639d1465ab4a96657f3baf4c747988df8201d4549 |