DIST proof-general-20241126.32.tar 2785280 BLAKE2B f39404d32b5bea3591842fd4ce900689984022875a6438a21e6bdd366b0c5f7e383b440fdd372dcfb0e1762233e95ebcf40ed914b647ba0ae9b79d0a691a262c SHA512 686e76fdf724c8a81c84598c41b06481f05dacb68e4856e0643a0ffb302970d29e35e400ce1d48ccd75aefae2d62e81a1b689265a12cfa63a59e8737246870a2
EBUILD proofgeneral-20241126.32.ebuild 422 BLAKE2B bd19fa9898dada7772d0150a1a66489d1ed19e93d3f48bcb5f513561245cea5fb7f6dede4f0e08e3ae133b5a7e8b21c73bf5f93f0309db2bdd55e4c18f2eafc8 SHA512 40f5dad490c02ffba85c20d0ee038e4a2342e5fc9bf47e626f5b6a8540284e4800e0a83a04417dfd2f90a0ab8c5aa0cfda9c62a2f0f23b244ca15efd143d8468
MISC metadata.xml 333 BLAKE2B 440734327837fde0c943c3fcdd54296e8628773c4e085d143db35b5a73586350f12e169e54a07f2a0db06f43dc49ca653d0dd6bad365851d358d4025d8bc0e18 SHA512 f418415566a3bdd08c099b091d78b5f99d908312c3b6866ef0a8f9428eea1593e2e86408a57ab3a1d18b9b327137c946c9756a48d513eb13b359ce0c807d6f90