tla/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tla/build_tlc_module.py,sha256=uclqwA4rXBydllUWKoMF6bz8T3p2Ee-Y5pE0yqgJS94,2444
tla/check_java.py,sha256=2XCK7lEJXZ8sLl3W3iHL-8i_0Q1yvq8KGVRJ1HYD3_4,2428
tla/cli.py,sha256=E6P1yJFGVzWQNeWz3gcJDycMjZQexfFD8ButQZFjSwo,1899
tla/config.py,sha256=89yTVrtWlQVXel7d-uCLXvpk0Mxc3jBK4Vi21-BowXU,1620
tla/download_tla2tools.py,sha256=VPjrxZgmyYnuEe8OylaiFrkV-SkzWQaV_YuMC5nfYXA,3581
tla/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tla/run_tlc.py,sha256=QGE9NXFq3ClanXExtglv6gQPWDLjghXP7l_ckntdhSY,1517
tla/settings.py,sha256=EFUR4TxjUc8YMTuamX-5dPh0qgD6o_EWctcyzX-QKqM,1079
tla/resources/default_config.yaml,sha256=altsNmZ8YGVhZgR5NVr0wFbpasgRZ870uCfwommF9RQ,602
tlaplus_cli-0.1.7.dist-info/licenses/LICENSE,sha256=kSdiS8uZ4kMvuDD_2ttsaoTtFbnf6Pyv_RrNWDKFRyM,1072
tlaplus_cli-0.1.7.dist-info/METADATA,sha256=nCFuwu7EhN2hEaXLd4a_12sviRVBRNPZf07qEAsI6tk,3480
tlaplus_cli-0.1.7.dist-info/WHEEL,sha256=YCfwYGOYMi5Jhw2fU4yNgwErybb2IX5PEwBKV4ZbdBo,91
tlaplus_cli-0.1.7.dist-info/entry_points.txt,sha256=W7e3tHBQcfdnUYKInVqzmkMa8mV2wg6mACw06U72k9E,37
tlaplus_cli-0.1.7.dist-info/top_level.txt,sha256=hPeD7gCgxcaE0qw9JQATNEfCwIEh300GKJyysU_XoS8,4
tlaplus_cli-0.1.7.dist-info/RECORD,,
