DIST coq-commenter-20170822.2309.tar 20480 BLAKE2B c516f5ff9ffaa1f17c3ccdd63f53c1f5c9aec2fab0d920dd476d49b4d64834da49565dda983b24b0fe259accfc73c40b81e514e8234e937a8bb44cf3b3d4c316 SHA512 77b7146c41f508278215a2630957a8964e1afd885e8e61a204b0d7be2a70611ad60473461c517a9943707669a2a7546386d15a47b843cdf2dd866933defb634d
EBUILD coq-commenter-20170822.2309.ebuild 470 BLAKE2B dc332b34e564b43568f6b30753994f1a4718452aff497339dc22b4fcf3a3265f4e89406f3fa40c5ee652d250c0aeccb95c3b17e23729fc81995a11fbc670e380 SHA512 cc620cf1f8d9647ccd15eec1a0ecd61045d26b42a333dd6d39d4aa4f0ddc66cb117f5c8b635ad0e7b27557bd9261b08d313bff796afa1226a94e2ad5c869c71c
MISC metadata.xml 322 BLAKE2B 78a581c9b0e65188b9d0647eef77efa05833f10fa5f35f2415b54e7509040f88e5bb43dfe160af36bf55364038fc04c48e36fd9d51569145e5c1fd18b8179282 SHA512 139e8d67382698b0fa8313ecad3437d65c1c5bd350deb3742afc30d9a2391a0f53a790331e4934e2c4f9d9c48f3aaa32c014e47e4a1d84728ce20604ad049be6