diff --git a/build.sbt b/build.sbt
index 3ecf74173d..672764eadc 100644
--- a/build.sbt
+++ b/build.sbt
@@ -56,7 +56,7 @@ lazy val vercors = (project in file("."))
   .settings(
     name := "Vercors",
     organization := "University of Twente",
-    version := "1.3.0-SNAPSHOT",
+    version := "1.3.0",
     maintainer := "VerCors Team <vercors@lists.utwente.nl>",
     packageSummary := "A tool for static verification of parallel programs",
     packageDescription :=