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