| Type | DIST |
|---|---|
| File | proofgeneral-4.5.tar.gz |
| Size | 1198535 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 24f93200d01752fb358ac88531b4b34392b7b968c7dbd7a7b3dcedfe71fa985ca893465bff503e3fc0efd267faeb3f5d8bd3d35f68847a4c90252e3a0bdd456b |
| SHA512 | ab2eed43053e3b6749e840a8d742058eaa91bfff7edbe12ea67bc492ffab07e1d77cf6a7772cb8c42ac73cae2cce65b48898b1cd10a77b906089768f8055b366 |