thinkery_leanctx_engine_windows_gnu-3.12.0.dist-info/METADATA,sha256=6ZugT-4D6JLVykR3IChx_UGTxVPAsnUR2lTvKH63THQ,394
thinkery_leanctx_engine_windows_gnu-3.12.0.dist-info/WHEEL,sha256=iOYthVgJUK7rEcqPDTo0l_o_rZVdJmeVKQxx3nHr_uA,101
thinkery_leanctx_engine_windows_gnu-3.12.0.dist-info/entry_points.txt,sha256=JAO_iI5N_zZO-FZXIVRaZjyHDUymjKA8nA7M4MqMBiU,79
thinkery_leanctx_engine_windows_gnu-3.12.0.dist-info/licenses/LICENSE,sha256=pmhAVcjDosjX2OtpgGhH04i0jmtfwZMdfqmrSxaDVoM,10954
thinkery_leanctx_engine_windows_gnu-3.12.0.dist-info/top_level.txt,sha256=TX2gGPwcUEGtPWLhBRVcQvEk1J7GsKkiABA_WyS8KZg,36
thinkery_leanctx_engine_windows_gnu/BINARY.sha256,sha256=1anpJ0VUeZTrVwaq4NwMO7SqauR2VtazyJpxRY4ADKg,79
thinkery_leanctx_engine_windows_gnu/__init__.py,sha256=VqzYFRBPIGwCKQYmj0L1XXEEe_K7OJjwsFYSPnuJ9M4,106
thinkery_leanctx_engine_windows_gnu/bin/lean-ctx.exe,sha256=OjvEaeHYgBrm79Ba04s6cHyPc514uAom9P0xaEmW1F0,92475184
thinkery_leanctx_engine_windows_gnu/launcher.py,sha256=Go5Qag6mM0zFUtl4qDXcYCW5lZUoWG9aA1KaVHVHhs0,1134
thinkery_leanctx_engine_windows_gnu-3.12.0.dist-info/RECORD,,
