| Type | DIST |
|---|---|
| File | Maude-3.1.tar.gz |
| Size | 2335693 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 3bc9744d95448e4dfc2f818944ab66dad84b026ad18a4324b25eafc82f6c2c637b81fa73d03da61ee7f3753bb3c650e1838b56c502c85c91e2507a697bcfbbc0 |
| SHA512 | 34dba3c3b7eed48d0c82c6d5e4dade08bd11dc57b436f04e94842000809b9b6086f8077bccbfac0313e4a4f361b03c3ef3d56e6df6242ae42427dd674566a3bc |