lean4check/__init__.py,sha256=Mt4QktPG2G9eEA2z9ODfWCrvG339QXHfYqfFzE1gkFU,83
lean4check/main.py,sha256=PgffauSGL53-2F0JBSnlsd0CoSHKnc-KcDdS3Ol0T5k,11419
lean4check-0.2.0.dist-info/licenses/LICENSE,sha256=9Mt5iolKareLx02kET8Xrn81wy95PGY-ubrGsfBeDPI,1066
lean4check-0.2.0.dist-info/METADATA,sha256=YmUvHvwDGsZLUMZySDJWw_fnJYVPLaqzmu5xGGm5re8,846
lean4check-0.2.0.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
lean4check-0.2.0.dist-info/entry_points.txt,sha256=CfcRYWoBXI6tR6beFr-WzQCit_wXuhFOmFfgeOprVHU,52
lean4check-0.2.0.dist-info/top_level.txt,sha256=Bi4m7HTbPT1-CLwnfYqklWOMUI6kCb5kdcHp87cI--Q,11
lean4check-0.2.0.dist-info/RECORD,,
