Update version number

kind2-mc · Jun 18, 2024 · 23ed776 · 23ed776
1 parent cc9c1e6
commit 23ed776
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/README.md b/README.md
@@ -15,18 +15,18 @@ Add the following dependency tag to your `pom.xml` file:
 <dependency>
   <groupId>edu.uiowa.cs.clc</groupId>
   <artifactId>kind2-java-api</artifactId>
-  <version>0.4.0</version>
+  <version>0.4.1</version>
 </dependency>
 ```
 
 #### Gradle
 Add the following dependency DSL to your `build.gradle` file:
 ```groovy
-implementation 'edu.uiowa.cs.clc:kind2-java-api:0.4.0'
+implementation 'edu.uiowa.cs.clc:kind2-java-api:0.4.1'
 ```
 
 #### Other build management tools
-Go to [Maven Central](https://search.maven.org/artifact/edu.uiowa.cs.clc/kind2-java-api/0.4.0/jar) and copy the appropriate code snippet for your build management tool.
+Go to [Maven Central](https://search.maven.org/artifact/edu.uiowa.cs.clc/kind2-java-api/0.4.1/jar) and copy the appropriate code snippet for your build management tool.
 
 ### Install artifact from Github Packages
 #### Maven
@@ -44,7 +44,7 @@ Go to [Maven Central](https://search.maven.org/artifact/edu.uiowa.cs.clc/kind2-j
   <dependency>
     <groupId>edu.uiowa.cs.clc</groupId>
     <artifactId>kind2-java-api</artifactId>
-    <version>0.4.0</version>
+    <version>0.4.1</version>
   </dependency>
   ```
 
@@ -59,7 +59,7 @@ Go to [Maven Central](https://search.maven.org/artifact/edu.uiowa.cs.clc/kind2-j
   ```
 3. Add the following dependency DSL to your `build.gradle` file:
   ```groovy
-  implementation 'edu.uiowa.cs.clc:kind2-java-api:0.4.0'
+  implementation 'edu.uiowa.cs.clc:kind2-java-api:0.4.1'
   ```
 
 ### Build from sources