| Type | DIST |
|---|---|
| File | Maude-3.2.1-manual.pdf |
| Size | 2977775 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 327f3e3968facc8e5f5e59f488011ad69fdd4af2252b37b24d586e673a43401fba31fb0c5448f2a94a2fab565cb1e3725a0c8407bc2108d6eec1267037851146 |
| SHA512 | 52e92a32dc36788c1b8f275864d933204b890a00c2abf8cc4846a7409a744c01d4c21c448a33b5217f69fff239f363871cc7180ca0ce452d51cdcc0358eb32ec |