switched to stable Princess version

uuverifiers · Dec 15, 2021 · 4a8da0c · 4a8da0c
1 parent 1f4fb07
commit 4a8da0c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/build.sbt b/build.sbt
@@ -70,9 +70,9 @@ lazy val root = (project in file(".")).
     mainClass in Compile := Some("ostrich.OstrichMain"),
     unmanagedSourceDirectories in Test += baseDirectory.value / "replaceall-benchmarks" / "src" / "test" / "scala",
 //
-    resolvers             += ("uuverifiers" at "http://logicrunch.research.it.uu.se/maven/").withAllowInsecureProtocol(true),
+//    resolvers             += ("uuverifiers" at "http://logicrunch.research.it.uu.se/maven/").withAllowInsecureProtocol(true),
 //
-    libraryDependencies   += "uuverifiers" %% "princess" % "nightly-SNAPSHOT",
+    libraryDependencies   += "io.github.uuverifiers" %% "princess" % "2021-11-15",
 //    libraryDependencies   += "uuverifiers" % "ecma2020-regex-parser" % "0.5",
     libraryDependencies   += "org.sat4j" % "org.sat4j.core" % "2.3.1",
     libraryDependencies   += "org.scalacheck" %% "scalacheck" % "1.14.0" % "test",