LICENSE
MANIFEST.in
README.md
pyproject.toml
src/tlaplus_cli/__init__.py
src/tlaplus_cli/cli.py
src/tlaplus_cli/py.typed
src/tlaplus_cli/ui.py
src/tlaplus_cli.egg-info/PKG-INFO
src/tlaplus_cli.egg-info/SOURCES.txt
src/tlaplus_cli.egg-info/dependency_links.txt
src/tlaplus_cli.egg-info/entry_points.txt
src/tlaplus_cli.egg-info/requires.txt
src/tlaplus_cli.egg-info/top_level.txt
src/tlaplus_cli/cache/__init__.py
src/tlaplus_cli/cache/github.py
src/tlaplus_cli/cmd/__init__.py
src/tlaplus_cli/cmd/check_java.py
src/tlaplus_cli/cmd/tlc.py
src/tlaplus_cli/cmd/config/__init__.py
src/tlaplus_cli/cmd/config/edit.py
src/tlaplus_cli/cmd/config/list.py
src/tlaplus_cli/cmd/fetch_cache/__init__.py
src/tlaplus_cli/cmd/fetch_cache/clear.py
src/tlaplus_cli/cmd/modules/__init__.py
src/tlaplus_cli/cmd/modules/build.py
src/tlaplus_cli/cmd/modules/install.py
src/tlaplus_cli/cmd/modules/lib.py
src/tlaplus_cli/cmd/modules/path.py
src/tlaplus_cli/cmd/tools/__init__.py
src/tlaplus_cli/cmd/tools/dir.py
src/tlaplus_cli/cmd/tools/install.py
src/tlaplus_cli/cmd/tools/list.py
src/tlaplus_cli/cmd/tools/path.py
src/tlaplus_cli/cmd/tools/pin.py
src/tlaplus_cli/cmd/tools/uninstall.py
src/tlaplus_cli/cmd/tools/upgrade.py
src/tlaplus_cli/cmd/tools/meta/__init__.py
src/tlaplus_cli/cmd/tools/meta/sync.py
src/tlaplus_cli/config/__init__.py
src/tlaplus_cli/config/loader.py
src/tlaplus_cli/config/schema.py
src/tlaplus_cli/java/__init__.py
src/tlaplus_cli/java/classpath.py
src/tlaplus_cli/java/inspector.py
src/tlaplus_cli/project/__init__.py
src/tlaplus_cli/project/core.py
src/tlaplus_cli/resources/__init__.py
src/tlaplus_cli/resources/default_config.yaml
src/tlaplus_cli/tlc/__init__.py
src/tlaplus_cli/tlc/codes.py
src/tlaplus_cli/tlc/compiler.py
src/tlaplus_cli/tlc/formatter.py
src/tlaplus_cli/tlc/models.py
src/tlaplus_cli/tlc/parser.py
src/tlaplus_cli/tlc/runner.py
src/tlaplus_cli/tlc/sany.py
src/tlaplus_cli/tlc/values.py
src/tlaplus_cli/versioning/__init__.py
src/tlaplus_cli/versioning/api.py
src/tlaplus_cli/versioning/downloader.py
src/tlaplus_cli/versioning/metadata.py
src/tlaplus_cli/versioning/paths.py
src/tlaplus_cli/versioning/resolver.py
src/tlaplus_cli/versioning/schema.py
tests/test_build_both.py
tests/test_build_modules_path.py
tests/test_cli.py
tests/test_config.py
tests/test_config_suite.py
tests/test_modules_build_lib.py
tests/test_modules_build_show_command.py
tests/test_modules_install_community.py
tests/test_modules_lib.py
tests/test_modules_path.py
tests/test_modules_path_resolved.py
tests/test_settings.py
tests/test_tlc_modules_path.py
tests/test_tlc_show_command.py