diff --git a/Lake/Version.lean b/Lake/Version.lean index 5bc0e27b36..c078b0d6dc 100644 --- a/Lake/Version.lean +++ b/Lake/Version.lean @@ -6,8 +6,8 @@ Authors: Mac Malone namespace Lake -def version.major := 3 -def version.minor := 3 +def version.major := 4 +def version.minor := 0 def version.patch := 0 def version.isPrerelease := true