Bump version (#15)

runtimeverification · Mar 5, 2024 · ea05fb7 · ea05fb7
1 parent 054d3ce
commit ea05fb7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pom.xml b/pom.xml
@@ -3,10 +3,10 @@
 <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.2</version>
+  <version>0.0.1</version>
 
   <name>Scala support for KORE</name>