diff --git a/CHANGELOG.md b/CHANGELOG.md
index 82a4c1c..e4153f6 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,4 +1,4 @@
-# Unreleased
+# 1.4.2 - 2022-09-13
 
 - Fix downloading Lean releases again
 
diff --git a/Cargo.lock b/Cargo.lock
index 7637e46..37bb0c9 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -339,7 +339,7 @@ checksum = "e78d4f1cc4ae33bbfc157ed5d5a5ef3bc29227303d595861deb238fcec4e9457"
 
 [[package]]
 name = "elan"
-version = "1.4.2-pre"
+version = "1.4.2"
 dependencies = [
  "clap",
  "download",
diff --git a/Cargo.toml b/Cargo.toml
index 2e69862..8794983 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 
 name = "elan"
-version = "1.4.2-pre"
+version = "1.4.2"
 authors = [ "Sebastian Ullrich <sebasti@nullri.ch>" ]
 description = "Manage multiple Lean installations with ease"
 publish = false