SHA256 (leanprover-community-LeanSearchClient-234d9e074fbd6e911b920baf32db5291c3125be0.tar.gz) = TO6+YoSU+voh2u/qlESntHZ9FFk+btZLtmSq/VFysp0=
SHA256 (leanprover-community-ProofWidgets4-d5ad4a0b79fa7f9818fe1380d05a3f6143823c09.tar.gz) = Wn9H8jfXhjUqs3SPUoiSLwlJr+qKcS9TTmkgkj5lGA0=
SHA256 (leanprover-community-aesop-04879b1e1de744d5c9777c8cf63fa55a8f652e5e.tar.gz) = pFYqI0vvG9wSdJChm8PvIAZ+G39Cp19nE59ZjwWm8vg=
SHA256 (leanprover-community-batteries-b71aaf60877e673fdb921f06f20987d12ee8a290.tar.gz) = MVIGLTLtWa2ntvmVhZ6cUk5N958iGuT6m1xzT2oGh4A=
SHA256 (leanprover-community-import-graph-579f558774c4ac6840e715ba60dabf3030619349.tar.gz) = SkWkW07Pm288RYMtbuWWVUFogwc8XP1x1t6SOaxkk7c=
SHA256 (leanprover-community-plausible-aef59637faa9e85fa2486acaaf906ce3f572af7c.tar.gz) = r9nUOieZjbhqkBxZdKHQzVC6BGDG+tU4+oQVkqnMRLU=
SHA256 (leanprover-community-quote4-e7c4cdd2f1bf9df361ef7f621b4d6867012ab65e.tar.gz) = TY1VELdP5l+SG9aYoXtwzY85Tt+0p3VlqT8AwE0FLSc=
SHA256 (leanprover-lean4-cli-82c11b9717083154aefc5fe8d4cba4bbf046298f.tar.gz) = HMbciQ5PKghgiHudhPHRo31HDvw0BKbKzz22HqqFSF0=
SHA256 (mathlib-4.35.0rc4.tar.gz) = CCsCO+qo78d8wRezQIR+n1Z0KNVnT5w2j1f49VyGLB0=
SIZE (leanprover-community-LeanSearchClient-234d9e074fbd6e911b920baf32db5291c3125be0.tar.gz) = 13224
SIZE (leanprover-community-ProofWidgets4-d5ad4a0b79fa7f9818fe1380d05a3f6143823c09.tar.gz) = 3897028
SIZE (leanprover-community-aesop-04879b1e1de744d5c9777c8cf63fa55a8f652e5e.tar.gz) = 207928
SIZE (leanprover-community-batteries-b71aaf60877e673fdb921f06f20987d12ee8a290.tar.gz) = 363467
SIZE (leanprover-community-import-graph-579f558774c4ac6840e715ba60dabf3030619349.tar.gz) = 178872
SIZE (leanprover-community-plausible-aef59637faa9e85fa2486acaaf906ce3f572af7c.tar.gz) = 43041
SIZE (leanprover-community-quote4-e7c4cdd2f1bf9df361ef7f621b4d6867012ab65e.tar.gz) = 33017
SIZE (leanprover-lean4-cli-82c11b9717083154aefc5fe8d4cba4bbf046298f.tar.gz) = 23879
SIZE (mathlib-4.35.0rc4.tar.gz) = 23963313
