| Type | DIST |
|---|---|
| File | dafny-4.11.0-x64-ubuntu-22.04.zip |
| Size | 65307946 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 14f391424e89a0c5cc35d99a1a488e55774cf49de71125fcef63a3d175f5b6b88b5bbbe9b61a2f96920e84a0083309e0c98be3a06a4cd1a1e1ea20be79a7df39 |
| SHA512 | dc921bb26afe184a7142f3bc44792255ee156958fffa2fb1293ecbb87629ca54d75a672e2d08d48bcf2ff1e55b8d3f3c6a7ba905728dd6b5a617c505a48c36a0 |