AUX lean-4.14.0-src-cmakelists.patch 1084 BLAKE2B d236998224c99aec69248b59f314e3347ac21acf3bcbe99e006004a67d985ee899db0ff3a7f920a477066085707813fd908fba8cbc4d6b0f7a43f1c1525263c7 SHA512 8dff3962980cf06526d83d10f5175eac8505cc365d50f816a3690c68029e3f2ce69356b8f963adcdad2b06cc936fbd99a9fccb6d7ec24ebbdcad4519e9274ea9
DIST lean-4.11.0.tar.gz 25790812 BLAKE2B d9a4eb15199f81c6757acf35fb17c795bb9d69158c7e7deb11d98a45bebf569dcda5f7733b2effd2be0eea879a6c7c24b270d97159e5898215e82e853320918c SHA512 2314659910b4d872c4ae0dda648a9cab9e1cc44cd4c55486a494b65b20fdae236ab9db99a42d7fb1a80030e300e95606065ee7dd27578b12a4c47fc8c102e2bb
DIST lean-4.14.0.tar.gz 28508743 BLAKE2B 692972402726a77ca9255edbecfc2bd30033d5c7137b00e85821d5bb74f7ed77398b19e7e3098eeecf6812ad9ca568a4076b11a91456b84f4ad78be8f6441286 SHA512 871169b3d7951934990a86a2b5d1741b00f4559c53c69ecdf0ca1c091426f1d7a6baa5ce69029dbecfc4a9dc9da9ee36b327cbef0ab28e80a9f64d34a2666c78
EBUILD lean-4.11.0.ebuild 1395 BLAKE2B 9dea5026d1cef60c08d7de76061cdd7401f3c49e551df397a02b61cc5ce4fa34dddd636a339013ac424b090635196d0b94142fa2af895f43d8a0dcfc2a5c009b SHA512 e336e331fafbaa6b658007e5e6b1fd726044bde52fbdda56935c9c65ff47b1942bc721365be74118a62c9439e2bb395bdca160e906237374e3c235cb62c17825
EBUILD lean-4.14.0-r1.ebuild 1796 BLAKE2B 9173650dcdf5204151592d87e5a3615f2d9c947943c2e5069766487076bfa0ce02eb80a631f13760f2daa3b37ec8143fb52e887a04915851bf4c87a43d1ef1b6 SHA512 9d9577a95160ec2a12399d9790c8a4f130e2f9cd3aa2b6d364cc77924a94639b202637f64959d59cc967a651b5d6f68a293dca6413dd69e924b786b8f4ca9bdf
MISC metadata.xml 954 BLAKE2B 338f64bbe848dca10f77fb7d5b7503684d36742139a4fd45f7a4c48250a11af6a78e40f5304d44166ce56f7fe4d22c6f980b55cab411bb7be93cc279694e9b66 SHA512 ec7c25a75237d2d54704e2d7b1811489a95780885c748a832643760d012eaceaeb5bfec9fc80509d5699940e749e770e841880cca1361848244b5031636e48b2