diff --git a/Lake/Version.lean b/Lake/Version.lean index 7d62c4aef6..b48157b1b3 100644 --- a/Lake/Version.lean +++ b/Lake/Version.lean @@ -7,10 +7,10 @@ Authors: Mac Malone namespace Lake def version.major := 4 -def version.minor := 0 +def version.minor := 1 def version.patch := 0 -def version.isPrerelease := false +def version.isPrerelease := true def version.isRelease := !isPrerelease def version.specialDesc := if isPrerelease then "pre" else ""