DIST proof-general-4.5.tar 3481600 BLAKE2B 770c32d371221daf334e885aa84318310ea468559acd0eae23aed4c374a414cbdfd022d1a9dd311e76ddd87b21eec421c5d84169bebb29447d67cb8aa1a705f5 SHA512 6278b17b4ddd15805ffe591f382ab828ca2f8b0d43b70c191f69ce0a8e58e2876f96a5b329bf8347dba904b65a44dd54f78b9386d25c05fe1accbbc5aebde6bd
EBUILD proofgeneral-4.5.ebuild 423 BLAKE2B 4a86456f3aa7fe96c97c2179095ac58e877cbf450a02162c9f098a60fb689ce6e62f6402b6e7635bb094360f7087850e8349549768dc8d9675522153ccbcf40a SHA512 304a01afa4939941e12502b8b4fd4e05023ae0b5138367bfbf47741eeb4f0887f0797864f77ca9d790dfe6b4b24afdd5dfbdefbe46d3174c408a7421f338d993
MISC metadata.xml 333 BLAKE2B 440734327837fde0c943c3fcdd54296e8628773c4e085d143db35b5a73586350f12e169e54a07f2a0db06f43dc49ca653d0dd6bad365851d358d4025d8bc0e18 SHA512 f418415566a3bdd08c099b091d78b5f99d908312c3b6866ef0a8f9428eea1593e2e86408a57ab3a1d18b9b327137c946c9756a48d513eb13b359ce0c807d6f90