diff --git a/build.sbt b/build.sbt
index 2a9248e5c..2206aa929 100644
--- a/build.sbt
+++ b/build.sbt
@@ -78,6 +78,12 @@ lazy val artifactSettings: Seq[Setting[_]] = baseSettings ++ Seq(
   buildInfoPackage := "stainless",
   buildInfoKeys := stainlessBuildInfoKeys,
   buildInfoOptions := Seq(BuildInfoOption.BuildTime),
+  excludeDependencies ++= Seq(
+    "org.scala-lang.modules" % "scala-parser-combinators_2.13",
+    "org.scala-lang.modules" % "scala-xml_3",
+    "org.scalactic" % "scalactic_2.13",
+  ),
+
 )
 
 lazy val commonSettings: Seq[Setting[_]] = artifactSettings ++ Seq(
@@ -88,7 +94,7 @@ lazy val commonSettings: Seq[Setting[_]] = artifactSettings ++ Seq(
   ),
 
   resolvers ++= Resolver.sonatypeOssRepos("releases"),
-  resolvers += ("uuverifiers" at "http://logicrunch.research.it.uu.se/maven").withAllowInsecureProtocol(true),
+  resolvers += ("uuverifiersStainless" at "https://eldarica.org/maven"),
 
   libraryDependencies ++= Seq(
     // "ch.epfl.lara"    %% "inox"          % inoxVersion,
diff --git a/inox b/inox
index 516bf217f..6062f8f95 160000
--- a/inox
+++ b/inox
@@ -1 +1 @@
-Subproject commit 516bf217f053996f73a13ce1b400af4551437e12
+Subproject commit 6062f8f9552e5f71d441d7d0365bcb17e67fc224