workspace(name = "remotejdk17_linux_toolchain_config_repo")
