DIST proof-general-4.5.tar 2734080 BLAKE2B 0af262589a03b953e3ce92461e3e6e6003335d8b085a358c8dca363c38bdc0351623db8380179fb0e0958089b9f515f6dc5ef1a8f927d1e20ae0f625f22ae9a3 SHA512 834f53e2abfdd211bdbf49edb841263d2b7cc25783067cb14a84cae5b6bb2ee8f4bf9355aaa85095bd864291929eb199b2202990a74c3669456ed254a7e7b8ca
EBUILD proofgeneral-4.5.ebuild 426 BLAKE2B 277caf3a726c7f667564098e1eb551ec526d7ba7f6ecbc6ea5c42328d1acbef5b6bebca5f928ef200e8aab20c40f35874149085372fcf44a8f56a6d59cb46ec1 SHA512 3fe96b4602320232e6236ac06e7863064272c5c8200abe5564b55a85f7b143eb9a63aa2cb4393b1cc79a4748762fb3f668c544d27ce949542a4b8fcfef4f3736
MISC metadata.xml 333 BLAKE2B 440734327837fde0c943c3fcdd54296e8628773c4e085d143db35b5a73586350f12e169e54a07f2a0db06f43dc49ca653d0dd6bad365851d358d4025d8bc0e18 SHA512 f418415566a3bdd08c099b091d78b5f99d908312c3b6866ef0a8f9428eea1593e2e86408a57ab3a1d18b9b327137c946c9756a48d513eb13b359ce0c807d6f90