diff --git a/Lake/Version.lean b/Lake/Version.lean
index f3008b3abe..894dcea576 100644
--- a/Lake/Version.lean
+++ b/Lake/Version.lean
@@ -10,7 +10,7 @@ def version.major := 3
 def version.minor := 1
 def version.patch := 0
 
-def version.isPrerelease := true
+def version.isPrerelease := false
 def version.isRelease := !isPrerelease
 def version.specialDesc := if isPrerelease then "pre" else ""