new maven repo URL

vorpal-research · Feb 13, 2024 · 6b2b51f · 6b2b51f
1 parent d028f0e
commit 6b2b51f
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git 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
@@ -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>
+</project>
diff --git 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>