diff --git a/Cargo.lock b/Cargo.lock
index bf1bf3b..765f556 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -424,7 +424,7 @@ checksum = "60b1af1c220855b6ceac025d3f6ecdd2b7c4894bfe9cd9bda4fbb4bc7c0d4cf0"
 
 [[package]]
 name = "elan"
-version = "3.1.1"
+version = "4.0.0-pre"
 dependencies = [
  "clap",
  "download",
diff --git a/Cargo.toml b/Cargo.toml
index 15ef487..f0c8976 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 
 name = "elan"
-version = "3.1.1"
+version = "4.0.0-pre"
 authors = [ "Sebastian Ullrich <sebasti@nullri.ch>" ]
 description = "Manage multiple Lean installations with ease"
 publish = false