DIST dedukti-mode-20171103.1212.tar 30720 BLAKE2B a391f4134145dccef1b177435aaca10c4b9990fde40aad4f889394286572d562db51097a9a668f3e2efaf9429d8ffc3b1a1ee988ecbc77ed9599dc1b5548d6eb SHA512 e6fc7aa35b3238682d1927d2330545d4531336773bb5940c178f3cc236eac628640a50ad086376096bfc4330962f631788531e951a2cf88c9a56918545255f6f
EBUILD dedukti-mode-20171103.1212.ebuild 406 BLAKE2B 4ab44704f37b57d3d3b349e62c86b6ee3bd9d587edcfa69a5bbb42a129fe7ae6b81446df68e2ea51fd6cd7d6d8015d63ab7eafcdefc0acd075bc3da2103b8c82 SHA512 9965fd15ae308e4feeca6a84a865334a5998cf72639b4fb2453064686d7a6cb4f69dc65dd767613c5f475fffdec1b7a58f4ebb5cae1dccef2c372abf11c1e639
MISC metadata.xml 315 BLAKE2B 13183d82ac1aa2eb40303f1dad48fe9aeb7002969544c940e35e6c6e51c6c4ae69db923ca8989b2ca76576c8657e766bbd9e816f40bfefe03ab2913fdbb403e7 SHA512 94508e5a35a841a75a0f213893b357282b1bb286f3108b983bbc83ca6661dfa475e6697dcc9e928e2f63100742dc328f7be5f549adb15fd9ce6c48ec40eb55bf