thinkery_leanctx_engine_windows_gnu-3.10.4.dist-info/METADATA,sha256=_03-zok5MuRCSPq-70066ZvrX-Sp_Kzr1-qBtAuoQBI,394
thinkery_leanctx_engine_windows_gnu-3.10.4.dist-info/WHEEL,sha256=iOYthVgJUK7rEcqPDTo0l_o_rZVdJmeVKQxx3nHr_uA,101
thinkery_leanctx_engine_windows_gnu-3.10.4.dist-info/entry_points.txt,sha256=JAO_iI5N_zZO-FZXIVRaZjyHDUymjKA8nA7M4MqMBiU,79
thinkery_leanctx_engine_windows_gnu-3.10.4.dist-info/licenses/LICENSE,sha256=pmhAVcjDosjX2OtpgGhH04i0jmtfwZMdfqmrSxaDVoM,10954
thinkery_leanctx_engine_windows_gnu-3.10.4.dist-info/top_level.txt,sha256=TX2gGPwcUEGtPWLhBRVcQvEk1J7GsKkiABA_WyS8KZg,36
thinkery_leanctx_engine_windows_gnu/BINARY.sha256,sha256=Zk8_pQsFQFvykCg1im0XSx8d6ivZOtMFewOuzpaBL7c,79
thinkery_leanctx_engine_windows_gnu/__init__.py,sha256=ruISR1U382fBpRNlcP3tOS3q4Qe4iQ_V23PppO9V7n8,106
thinkery_leanctx_engine_windows_gnu/bin/lean-ctx.exe,sha256=sX24mOLzUv0iWiN4DSKJpFjgluUc4954Bj22XdDOvtI,92663080
thinkery_leanctx_engine_windows_gnu/launcher.py,sha256=26TOAPq5nnXsXhZGtvPDSqBfAMO08pIZgJRFZyZJoM8,1134
thinkery_leanctx_engine_windows_gnu-3.10.4.dist-info/RECORD,,
