release

utwente-fmt · Apr 2, 2024 · a60a5c3 · a60a5c3
1 parent d1fa608
commit a60a5c3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.sbt b/build.sbt
@@ -80,7 +80,7 @@ lazy val vercors: Project = (project in file("."))
   .settings(
     name := "Vercors1",
     organization := "University of Twente",
-    version := "1.4.1-SNAPSHOT",
+    version := "1.4.1",
     maintainer := "VerCors Team <[email protected]>",
     packageSummary := "A tool for static verification of parallel programs",
     packageDescription :=