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"