From 9034b6b79b45cc5c5a9b5cd5812e035c930e4b0b Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Thu, 8 Jul 2021 17:42:17 -0400
Subject: [PATCH] chore: bump to v2.0-pre

---
 leanpkg.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/leanpkg.toml b/leanpkg.toml
index 755c26ba8e..7c54a930ab 100644
--- a/leanpkg.toml
+++ b/leanpkg.toml
@@ -1,4 +1,4 @@
 [package]
 name = "lake"
-version = "1.0"
+version = "2.0-pre"
 lean_version = "leanprover/lean4:nightly-2021-06-14"