DIST coq-commenter-20170822.2309.tar 20480 BLAKE2B dad797f724f0ea13185aad77f193cc4209d1eccc4dc590bd892cc59adc23fbd281a20c1d259c8ddeb2cf42f7a6cc39734df497364b07c864f0a38f250fe5fe3c SHA512 c9c72182a0398b735680b03316b2c948b1da8dd96e73ac79e5e5487d175b4737f3847fd1f620794a77b1552b1101f926bba99c3d93169ceca2532bd3ecd3ae24
EBUILD coq-commenter-20170822.2309.ebuild 469 BLAKE2B 36f28c5d086c55f8b04a213d992daa043bc5e61c2c9c2b7514c2f2de937275edf15e9cdc83a53e4edb6082c89730c10d0985abef035dd2a5e04602514e02d688 SHA512 9d479194639b0971a0e0a7424f8db5ff4aa5fe780eb516dd99741e94020e3cdf4aaa41f06a53b0cdcfa758e46e2f43038443781b28cfc0be911086144f5d1fcd
MISC metadata.xml 322 BLAKE2B 78a581c9b0e65188b9d0647eef77efa05833f10fa5f35f2415b54e7509040f88e5bb43dfe160af36bf55364038fc04c48e36fd9d51569145e5c1fd18b8179282 SHA512 139e8d67382698b0fa8313ecad3437d65c1c5bd350deb3742afc30d9a2391a0f53a790331e4934e2c4f9d9c48f3aaa32c014e47e4a1d84728ce20604ad049be6