DIST ProofGeneral-4.2.tgz 1613190 SHA256 3567b68077798396ccd55c501b7ea7bd2c4d6300e4c74ff609dc19837d050b27 SHA512 102c56a1bc113439b1fa8aa10efe571d47d68b344d3489fe18ca3bdbf8828bb31fd2302a68a4bd639c59c429d41e82e5d933abddd3444781cb0e8a603db432ab WHIRLPOOL 9c4e54cf3b1528ee6cbdfac19b0c589f0c2640defbac15d5aaf0a1bfd64680bff45d2faa17f669210f47f30debb768d593590d350acac9c2669d24dc109bb4d8