| Type | DIST |
|---|---|
| File | Maude3.5.1-manual.pdf |
| Size | 3430729 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 59ca171ecd85d3db4a308f187e3a7052db191a3ca38c4c2cf4626d414a2f8f65e7ddc000f9181c1580db8144613e3d1fdb699467d3419a116c8146e81be265fb |
| SHA512 | f273a56a29c8b60c830c882b9baa85aea2a29edca8ea5557008e0024885fe42eefb7846f5cce30a3d61f7f0317390b4d75f4e55eb345c07339664e5a4324f2e9 |