| Type | DIST |
|---|---|
| File | Maude3.3.1.tar.gz |
| Size | 2520151 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 6b6e7d092e73cc83221ef2fe5f4dc8462a2df64a359982632ce4054cee4ff5f11b852df5693b24385a0c5c5ee7b7921789d6141037ba20edb9ab115b8b2ecea3 |
| SHA512 | 7a0c989c9da58d057793dfd428f06a34c1dae142fc181ee94a030a8cc3056b3f120d1b63a29a5d3bc0a6bd0007b7aecdfd7323e1e410ee42f2bdac6b91e880b2 |