| Type | DIST |
|---|---|
| File | dafny-4.11.0.gh.tar.gz |
| Size | 7028097 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 75acb2b14d20150eb1d976c55c1572f59776a6f09c29656f638833576b49ee5b7924f4ebee5f47d6acc8b773dbbe8531e1e134ec9d89c27c99d0eb1510689459 |
| SHA512 | 14fa9ec4ead779bee748e42d7246f8505a22bd0dac6313c0450291cf38dfdf28c35c672708dc7a608bd884d5e80fd33ba8ed11acd04396230e5da83c7d7a5be4 |