try k

runtimeverification · Mar 5, 2024 · 45d0e0a · 45d0e0a
1 parent 51527ef
commit 45d0e0a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -3,7 +3,7 @@
 <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
 
   <modelVersion>4.0.0</modelVersion>
-  <groupId>com.runtimeverification</groupId>
+  <groupId>com.runtimeverification.k</groupId>
   <artifactId>scala-kore</artifactId>
   <packaging>jar</packaging>
   <version>0.0.1</version>