diff --git a/kex-ksmt/pom.xml b/kex-ksmt/pom.xml
index a77912480..e3401cd94 100644
--- a/kex-ksmt/pom.xml
+++ b/kex-ksmt/pom.xml
@@ -12,7 +12,7 @@
     <artifactId>kex-ksmt</artifactId>
 
     <properties>
-        <ksmt.version>0.5.8</ksmt.version>
+        <ksmt.version>0.5.20</ksmt.version>
     </properties>
 
     <dependencies>
diff --git a/kex-test/pom.xml b/kex-test/pom.xml
index 0328b5547..262c1ef2e 100644
--- a/kex-test/pom.xml
+++ b/kex-test/pom.xml
@@ -42,7 +42,7 @@
     <repositories>
         <repository>
             <id>github-vorpal-research-kotlin-maven</id>
-            <url>https://maven.vorpal-research.science</url>
+            <url>https://maven.apal-research.com</url>
         </repository>
     </repositories>
 
@@ -128,4 +128,4 @@
         </plugins>
     </build>
 
-</project>
\ No newline at end of file
+</project>
diff --git a/pom.xml b/pom.xml
index 5c8bced78..f536c96a4 100644
--- a/pom.xml
+++ b/pom.xml
@@ -50,8 +50,8 @@
 
     <repositories>
         <repository>
-            <id>github-vorpal-research-kotlin-maven</id>
-            <url>https://maven.vorpal-research.science</url>
+            <id>github-apal-research-kotlin-maven</id>
+            <url>https://maven.apal-research.com</url>
         </repository>
     </repositories>