| Type | DIST |
|---|---|
| File | Maude-3.3.1-manual.pdf |
| Size | 2860773 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 6997d8ff340faa275902b0a6fc14f7e4a5ccb3978f866d46dddc48a74b24eed1c969ab453942b2ac8608b65ee0b3d85b64568d04a203cdf060e77417d34dd973 |
| SHA512 | cbc06f1d46644ac64a6b88c6e6350a09c4e09a1c2afca9142ff58326cc977c27844c706d83ab0e4bfc1ef4e55a6b8a7e93128ec4da295e161abbb33d0c11bb9d |