diff --git a/Lake/Version.lean b/Lake/Version.lean index 077531b116..c59d48620a 100644 --- a/Lake/Version.lean +++ b/Lake/Version.lean @@ -9,7 +9,8 @@ namespace Lake def version.major := 2 def version.minor := 0 -def version.isPre := true -def versionString := s!"{version.major}.{version.minor}-pre" +def version.patch := 1 +def version.isPre := false +def versionString := s!"{version.major}.{version.minor}.{version.patch}" def uiVersionString := s!"Lake version {versionString} (Lean version {uiLeanVersionString})" diff --git a/leanpkg.toml b/leanpkg.toml index 52e713fee0..1b5858be89 100644 --- a/leanpkg.toml +++ b/leanpkg.toml @@ -1,4 +1,4 @@ [package] name = "lake" -version = "2.0" +version = "2.0.1" lean_version = "leanprover/lean4:nightly-2021-09-13"