| Type | DIST |
|---|---|
| File | Maude-3.5.1-manual-book-examples.zip |
| Size | 239586 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 6700e3c38e22b0110c692de7321efca5fe2630283b941752509cbb5a9c2953e941ad782b002cdd32bd31d034fba74f3e950283d6a0930600f904ce1c91d3c2eb |
| SHA512 | 1fb517acaafe5c3df714f583af5c5e27237c5311ce45ce8688b0f818e70af33f11f94d9746125300c3456a258d491ef9404f9f11e576ba338703aca33a7824d5 |