DIST coq-commenter-20170822.2309.tar 20480 BLAKE2B dad797f724f0ea13185aad77f193cc4209d1eccc4dc590bd892cc59adc23fbd281a20c1d259c8ddeb2cf42f7a6cc39734df497364b07c864f0a38f250fe5fe3c SHA512 c9c72182a0398b735680b03316b2c948b1da8dd96e73ac79e5e5487d175b4737f3847fd1f620794a77b1552b1101f926bba99c3d93169ceca2532bd3ecd3ae24
EBUILD coq-commenter-20170822.2309.ebuild 470 BLAKE2B 02a16a7b7bb43c9b3893b1dccf0ac60ba1f8fde98a6b0852b41e9af7637f13c5d5a9fc3c83f9d1a53c43b911da962c101a0230440e3388b78790b3c0994d6b52 SHA512 fcbcfd65a8772007084634b47773711f5124fad5152afe54cba97a0e23b5b75fc92af5ba30eec6d1f0056c6097a2cfb347cd27ec6347b28b83d6966c674a0182
MISC metadata.xml 322 BLAKE2B 78a581c9b0e65188b9d0647eef77efa05833f10fa5f35f2415b54e7509040f88e5bb43dfe160af36bf55364038fc04c48e36fd9d51569145e5c1fd18b8179282 SHA512 139e8d67382698b0fa8313ecad3437d65c1c5bd350deb3742afc30d9a2391a0f53a790331e4934e2c4f9d9c48f3aaa32c014e47e4a1d84728ce20604ad049be6