diff --git a/Cargo.lock b/Cargo.lock
index a8590ab..4829d62 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -295,7 +295,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 
 [[package]]
 name = "elan"
-version = "0.7.1-pre"
+version = "0.7.1"
 dependencies = [
  "clap 2.32.0 (registry+https://github.com/rust-lang/crates.io-index)",
  "download 0.4.0",
diff --git a/Cargo.toml b/Cargo.toml
index 58dc4cd..efefc04 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 
 name = "elan"
-version = "0.7.1-pre"
+version = "0.7.1"
 authors = [ "Sebastian Ullrich <sebasti@nullri.ch>" ]
 description = "Manage multiple Lean installations with ease"
 publish = false