thinkery_leanctx_engine_windows_gnu-3.10.3.dist-info/METADATA,sha256=ao_Tx3xUd3-q7L6rneki9P3ZU9jM5cAyRW7z4QKDgDc,394
thinkery_leanctx_engine_windows_gnu-3.10.3.dist-info/WHEEL,sha256=iOYthVgJUK7rEcqPDTo0l_o_rZVdJmeVKQxx3nHr_uA,101
thinkery_leanctx_engine_windows_gnu-3.10.3.dist-info/entry_points.txt,sha256=JAO_iI5N_zZO-FZXIVRaZjyHDUymjKA8nA7M4MqMBiU,79
thinkery_leanctx_engine_windows_gnu-3.10.3.dist-info/licenses/LICENSE,sha256=pmhAVcjDosjX2OtpgGhH04i0jmtfwZMdfqmrSxaDVoM,10954
thinkery_leanctx_engine_windows_gnu-3.10.3.dist-info/top_level.txt,sha256=TX2gGPwcUEGtPWLhBRVcQvEk1J7GsKkiABA_WyS8KZg,36
thinkery_leanctx_engine_windows_gnu/BINARY.sha256,sha256=S3j76YJ5h3X-hlqyisXTnbmn3gufdMuTLNwp_IWgDu4,79
thinkery_leanctx_engine_windows_gnu/__init__.py,sha256=ucHwnFWXp9gZaqtWEdGJFQXJzMNpaH07XgaqSmHJVpQ,106
thinkery_leanctx_engine_windows_gnu/bin/lean-ctx.exe,sha256=vcg5chLnktmI-eByd_JA4tVlpI6CwALGJGoNSq1tSGY,92662064
thinkery_leanctx_engine_windows_gnu/launcher.py,sha256=EfN8zJXz0j1v7z-7Hj02Dl2ioIkPyO-QQsbxp7Uwkys,1134
thinkery_leanctx_engine_windows_gnu-3.10.3.dist-info/RECORD,,
