Update version number

kind2-mc · May 6, 2024 · 9543bf9 · 9543bf9
1 parent c35ca3d
commit 9543bf9
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.3.7</version>
+  <version>0.3.8</version>
 </dependency>
 ```
 
 #### Gradle
 Add the following dependency DSL to your `build.gradle` file:
 ```groovy
-implementation 'edu.uiowa.cs.clc:kind2-java-api:0.3.7'
+implementation 'edu.uiowa.cs.clc:kind2-java-api:0.3.8'
 ```
 
 #### Other build management tools
-Go to [Maven Central](https://search.maven.org/artifact/edu.uiowa.cs.clc/kind2-java-api/0.3.7/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.3.8/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.3.7</version>
+    <version>0.3.8</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.3.7'
+  implementation 'edu.uiowa.cs.clc:kind2-java-api:0.3.8'
   ```
 
 ### Build from sources