Skip to content

Commit

Permalink
Set Version: 0.3.2
Browse files Browse the repository at this point in the history
  • Loading branch information
devops committed Mar 14, 2024
1 parent 5ebd17b commit d1fbe0d
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion package/version
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.3.1
0.3.2
2 changes: 1 addition & 1 deletion pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
<groupId>com.runtimeverification.k</groupId>
<artifactId>scala-kore</artifactId>
<packaging>jar</packaging>
<version>0.3.1</version>
<version>0.3.2</version>

<name>Scala support for KORE</name>

Expand Down

0 comments on commit d1fbe0d

Please sign in to comment.