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