| Type | DIST |
|---|---|
| File | Maude-3.4-manual-book-examples.zip |
| Size | 281634 bytes |
| Type | Value |
|---|---|
| BLAKE2B | ef597412e7c1bb0595446b055553c8996c49c1c2f2e7dabd42ce04a9b15726a7b085091f0d0d3ce7851ddf612a6880ed4143f5a908508f1ece721d7f54f9cb44 |
| SHA512 | 1238762780dc952127e09cf729d529e8186164133882e94f168581aa6eb72159402dd7ece63a628086591717e74ea9390fe9f82df3926a1616fedda2e7d99b6d |