tlaplus_cli/__init__.py,sha256=y-m0ILetzRLL4-tGrgnpx93fN5zNmnFzjPz8kk8DPl4,231
tlaplus_cli/build_tlc_module.py,sha256=kWyWOjAMDMggTaSdUEyF1eBKXwueUSJAOryYWt4JT0Y,3440
tlaplus_cli/check_java.py,sha256=2XCK7lEJXZ8sLl3W3iHL-8i_0Q1yvq8KGVRJ1HYD3_4,2428
tlaplus_cli/cli.py,sha256=1uqaFoR9f8U3azRRRuxXVfQAHlFNlrBprl5knYVCda4,2214
tlaplus_cli/config.py,sha256=BI6EQ6gLVrcxwa0pl3tjtJq3li--gNK_ESJaH0qE8DU,2534
tlaplus_cli/project.py,sha256=z9302VXIE8DnP_nY07k0mgyzo41ceeIyTyrh5JFkJZg,1054
tlaplus_cli/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tlaplus_cli/run_tlc.py,sha256=8y9djKNWkDOHbNNcayGGd2ChGXUXpbnFe3zXq6nN8gM,4384
tlaplus_cli/settings.py,sha256=LSwVCAS7f4esZWvl3ToNK0cR8PAKGE6w--XabUYR8qY,1118
tlaplus_cli/tools_manager.py,sha256=GNEnDIwH_PvyNgac4VwNrnp4Rn2jTeP4QrmDSElRnmA,13843
tlaplus_cli/version_manager.py,sha256=wgohZi7j1DDIrhnw_tsbazYVrEoj8Pkq6aD_2Tvxu-k,15990
tlaplus_cli/resources/__init__.py,sha256=XOk5yhLeLU6JmVXxbl3TY2zksqz7Yh2hfC3OMhkALn8,28
tlaplus_cli/resources/default_config.yaml,sha256=TmDqjpzEQnpWtNmlWLPuPlEubYzYomTh3k7b-utwJ_c,558
tlaplus_cli-0.3.5.dist-info/licenses/LICENSE,sha256=kSdiS8uZ4kMvuDD_2ttsaoTtFbnf6Pyv_RrNWDKFRyM,1072
tlaplus_cli-0.3.5.dist-info/METADATA,sha256=6pRKZNGXIFd6OtEUoaNqIwBhjGBeI8rNuVoLvnmBrbA,7155
tlaplus_cli-0.3.5.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
tlaplus_cli-0.3.5.dist-info/entry_points.txt,sha256=9BBCVTje-1-FQ6UkfTpJtLo2QGf5jvWfA84lEhpEZlA,45
tlaplus_cli-0.3.5.dist-info/top_level.txt,sha256=vij9XQwem9pTLr19gA5DFDO7L8phP0VHiKEbQAhNRMc,12
tlaplus_cli-0.3.5.dist-info/RECORD,,
