DIST lean-4.24.0.tar.gz 46435872 BLAKE2B 6e5b40006a48976419ab31beadd24f98fd589972cec45053d11890301d317ffcc79493befa77dceda6fbc5f9238457aa31a3bc26fe06d95840130ef9a58dc80d SHA512 a8f407bdf581833b8cdf386fb7a8b89c0c52578af601f9a715b1ea604badc235bdb66fad96ace7592fcf5831b3c62eca6a843c3acb7907360725f992a37363eb
EBUILD lean-4.24.0.ebuild 1842 BLAKE2B 84f86140eab07fc0d4f04a22261b17f22e87e2290703ef90bacb4800224c6779d3432f1c02f573441f985007f7b70ae517ac830016bdfd6a56cc9bc68ebdb173 SHA512 6e55aa21ab9ab996fc220ddf81deb2ea6c48dc59d5b10d82ffc4f43b6c86dd489cb476984c71904014b255255d8fea82edc8864cba726974596dc4c0a8884602
MISC metadata.xml 954 BLAKE2B 338f64bbe848dca10f77fb7d5b7503684d36742139a4fd45f7a4c48250a11af6a78e40f5304d44166ce56f7fe4d22c6f980b55cab411bb7be93cc279694e9b66 SHA512 ec7c25a75237d2d54704e2d7b1811489a95780885c748a832643760d012eaceaeb5bfec9fc80509d5699940e749e770e841880cca1361848244b5031636e48b2