thinkery_leanctx_engine_windows_gnu-3.10.5.dist-info/METADATA,sha256=SwjAJBzleEPZr5qcGuYQWWLDDMGfn0gJv32Vx2bEFYI,394
thinkery_leanctx_engine_windows_gnu-3.10.5.dist-info/WHEEL,sha256=iOYthVgJUK7rEcqPDTo0l_o_rZVdJmeVKQxx3nHr_uA,101
thinkery_leanctx_engine_windows_gnu-3.10.5.dist-info/entry_points.txt,sha256=JAO_iI5N_zZO-FZXIVRaZjyHDUymjKA8nA7M4MqMBiU,79
thinkery_leanctx_engine_windows_gnu-3.10.5.dist-info/licenses/LICENSE,sha256=pmhAVcjDosjX2OtpgGhH04i0jmtfwZMdfqmrSxaDVoM,10954
thinkery_leanctx_engine_windows_gnu-3.10.5.dist-info/top_level.txt,sha256=TX2gGPwcUEGtPWLhBRVcQvEk1J7GsKkiABA_WyS8KZg,36
thinkery_leanctx_engine_windows_gnu/BINARY.sha256,sha256=nEidau7ez4-NXlAguhbohFdPZV5h8OE6hpzYFBg2Qjg,79
thinkery_leanctx_engine_windows_gnu/__init__.py,sha256=nnPYcX3rSVI9PvOYEvyUrjQqDUQLum8pxlEg8Qrh87A,106
thinkery_leanctx_engine_windows_gnu/bin/lean-ctx.exe,sha256=LKxPfslAeuZ8czFXn8ovpNC3isUpr31wynOsY9aIiuk,92666664
thinkery_leanctx_engine_windows_gnu/launcher.py,sha256=4bZSkGaXcS8TwblKTTqukNN5lu2tqN7bJ1sHhpl4u9o,1134
thinkery_leanctx_engine_windows_gnu-3.10.5.dist-info/RECORD,,
