| Type | DIST |
|---|---|
| File | Maude3.5.1.tar.gz |
| Size | 2239472 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 49dcc0498faf1716f25fdcc893c0ff87845a6666539c0c1c2e0abb8120c960d54348cf708cb4fa7ab4610e3bc3d70bb1f6b32131517f52479237bd9adbe28f46 |
| SHA512 | 8acb90a4087c2feff02c91c7359ec8b89e93dbc5a735b38fd15959bc7fb76ac0c79713761a51c726fbb1b9323cd29e01540143471a415dd7250fd16fe828d7d1 |