| Type | DIST |
|---|---|
| File | Maude-3.2.2.tar.gz |
| Size | 2412498 bytes |
| Type | Value |
|---|---|
| BLAKE2B | c6c22a9ad8fb142005e908f0260320120c35631c716417e73e95e96fdf8328ed8fc088dc9d73357e01f7a3e92e9bb961de257e72a54f3588da01c7484c5da5b3 |
| SHA512 | 0414a5cbd0a2cd74b34abbd8072d5564f87f10bcf0d1b59b5e478ffc4d60f13eba9b47387b7efa85f6d5823fff5b436da13daf3b4d8dcbe973325e5afc5a28fe |