SHA256 (leanprover-community-LeanSearchClient-29ff470276c725ae01505d55b17148c18fc7dfd3.tar.gz) = wei4+b8QhytV2aqBW8bIsA4YSGrL481wB9isOeO1UpY=
SHA256 (leanprover-community-ProofWidgets4-c643bbb3c24f8a25f9c14e3a6b1ceb13d01f3de1.tar.gz) = NY/2Uc7c8ZOkUIjtycnK/9NpXwfmUytuZetm+PRmt9g=
SHA256 (leanprover-community-aesop-a90fbf7b02ff06a0deebf74088dff9e5fe02c9ea.tar.gz) = KcGs1EtufgnBlqrYXvh9SHU0Jh6SKLKIN/eO5L6znCQ=
SHA256 (leanprover-community-batteries-3b7c8101932390d60e92a3f3d917901d5b5a773b.tar.gz) = wlCnIlp6VbI9ns6Uq/ObbLTxHq6pJHOQqCYn78vhGgM=
SHA256 (leanprover-community-import-graph-7e81a29bda33a6b257bd37557a6aa6aebe175d96.tar.gz) = HpqzOzHbHgUBO3eFp1hp2MJRLbA2dzWgsb2JmsguKDQ=
SHA256 (leanprover-community-plausible-fb13df72ecefd8ddbf9291021d7f33a8673eb57b.tar.gz) = jD87gl3GxDbbahQOADVawK+vD5p+LiQEeHqeBbEHRX8=
SHA256 (leanprover-community-quote4-37b0ba0b26109cf9f9c541f0f9557e50cfa1a3b9.tar.gz) = ZqgEqJG1Cwh9rS4Q1UwILG9hGs2MUei+ipUpSRiGDKI=
SHA256 (leanprover-lean4-cli-843844fa601dd56767b1eb22b7ada5b64d5e567a.tar.gz) = EZ/WHx7otDdt4/AaVAQkwmGPy6SrOMK2ppf8+3V74jc=
SHA256 (mathlib-4.35.0rc3.tar.gz) = ueRJSnJQvzZX10EVz+ssFgJ4AMBniFSXYPTh6sEvnF4=
SIZE (leanprover-community-LeanSearchClient-29ff470276c725ae01505d55b17148c18fc7dfd3.tar.gz) = 13136
SIZE (leanprover-community-ProofWidgets4-c643bbb3c24f8a25f9c14e3a6b1ceb13d01f3de1.tar.gz) = 3895069
SIZE (leanprover-community-aesop-a90fbf7b02ff06a0deebf74088dff9e5fe02c9ea.tar.gz) = 207859
SIZE (leanprover-community-batteries-3b7c8101932390d60e92a3f3d917901d5b5a773b.tar.gz) = 364901
SIZE (leanprover-community-import-graph-7e81a29bda33a6b257bd37557a6aa6aebe175d96.tar.gz) = 151609
SIZE (leanprover-community-plausible-fb13df72ecefd8ddbf9291021d7f33a8673eb57b.tar.gz) = 42964
SIZE (leanprover-community-quote4-37b0ba0b26109cf9f9c541f0f9557e50cfa1a3b9.tar.gz) = 33013
SIZE (leanprover-lean4-cli-843844fa601dd56767b1eb22b7ada5b64d5e567a.tar.gz) = 23876
SIZE (mathlib-4.35.0rc3.tar.gz) = 23928032
