Update tlatools dependency after sonatype was deprecated, see tlaplus/tlaplus#1247

FedericoPonzi · FedericoPonzi · commit c30e14a1d3c2 · 2025-10-27T11:59:23.000Z
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -24,7 +24,8 @@ repositories {
 }
 
 dependencies {
-    implementation("org.lamport:tla2tools:1.8.0-SNAPSHOT")
+    // TODO: Replace with a stable release when available:
+    implementation("com.github.FedericoPonzi:tlaplus:0d86214464")
     implementation("commons-io:commons-io:2.16.1")
     testImplementation("com.github.FedericoPonzi:tlaplus-smith:17e32e0915") {
         isChanging = true

Original file line number	Diff line number	Diff line change
`@@ -24,7 +24,8 @@ repositories {`
`24`	`24`	`}`
`25`	`25`
`26`	`26`	`dependencies {`
`27`		`- implementation("org.lamport:tla2tools:1.8.0-SNAPSHOT")`
	`27`	`+ // TODO: Replace with a stable release when available:`
	`28`	`+ implementation("com.github.FedericoPonzi:tlaplus:0d86214464")`
`28`	`29`	`implementation("commons-io:commons-io:2.16.1")`
`29`	`30`	`testImplementation("com.github.FedericoPonzi:tlaplus-smith:17e32e0915") {`
`30`	`31`	`isChanging = true`