From c97eac1e8248de9c512c7826ea2c35926348fdff Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Mon, 13 Sep 2021 14:57:20 -0400
Subject: [PATCH] release: 2.0.1

---
 Lake/Version.lean | 5 +++--
 leanpkg.toml      | 2 +-
 2 files changed, 4 insertions(+), 3 deletions(-)

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"