lean4check/__init__.py,sha256=Mt4QktPG2G9eEA2z9ODfWCrvG339QXHfYqfFzE1gkFU,83
lean4check/main.py,sha256=VLIC0lKbpM_cIBBogQKbySR7pweqlLzUs-rnBIIM9yY,11600
lean4check-0.3.0.dist-info/licenses/LICENSE,sha256=9Mt5iolKareLx02kET8Xrn81wy95PGY-ubrGsfBeDPI,1066
lean4check-0.3.0.dist-info/METADATA,sha256=wvZZ6hUXpX7wEUIhayz1ztHZGi5_4-uh_6qPNpicQhg,846
lean4check-0.3.0.dist-info/WHEEL,sha256=K260EYznzXsJYBQGqmI8VTxEdiZYNvDZwW9cBh9-_MA,91
lean4check-0.3.0.dist-info/entry_points.txt,sha256=CfcRYWoBXI6tR6beFr-WzQCit_wXuhFOmFfgeOprVHU,52
lean4check-0.3.0.dist-info/top_level.txt,sha256=Bi4m7HTbPT1-CLwnfYqklWOMUI6kCb5kdcHp87cI--Q,11
lean4check-0.3.0.dist-info/RECORD,,
