DIST proof-general-4.5.tar 3481600 BLAKE2B 59951bbe944fcd8e4d705bf900e9704602bd5d27280fe85a9998fcb4f88703c1f041922bade1ca26387cf4a0742cad6727f5f21eda697ef9240eddff9a1067d4 SHA512 47c8187be2af66ca25a7f67dbc640c6fd256c0bd0639bf5fe0922eae7dda4f600e092bef734a17b1ae2d614b127fbff36bfd07040cecd3d40d5422a5a067eb0a
EBUILD proofgeneral-4.5.ebuild 423 BLAKE2B 4a86456f3aa7fe96c97c2179095ac58e877cbf450a02162c9f098a60fb689ce6e62f6402b6e7635bb094360f7087850e8349549768dc8d9675522153ccbcf40a SHA512 304a01afa4939941e12502b8b4fd4e05023ae0b5138367bfbf47741eeb4f0887f0797864f77ca9d790dfe6b4b24afdd5dfbdefbe46d3174c408a7421f338d993
MISC metadata.xml 333 BLAKE2B 440734327837fde0c943c3fcdd54296e8628773c4e085d143db35b5a73586350f12e169e54a07f2a0db06f43dc49ca653d0dd6bad365851d358d4025d8bc0e18 SHA512 f418415566a3bdd08c099b091d78b5f99d908312c3b6866ef0a8f9428eea1593e2e86408a57ab3a1d18b9b327137c946c9756a48d513eb13b359ce0c807d6f90