diff --git a/CHANGELOG.md b/CHANGELOG.md
index 8c4c378..0e3edbc 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,4 +1,4 @@
-# Unreleased
+# 2.0.0 - 2023-07-03
 
 - Support toolchain reference `<origin>:lean-toolchain` that refers to the toolchain referred to by the contents of the given GitHub file (#99)
 
diff --git a/Cargo.lock b/Cargo.lock
index 32964c0..7e91d18 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -393,7 +393,7 @@ checksum = "7fcaabb2fef8c910e7f4c7ce9f67a1283a1715879a7c230ca9d6d1ae31f16d91"
 
 [[package]]
 name = "elan"
-version = "1.4.6"
+version = "2.0.0"
 dependencies = [
  "clap",
  "download",
diff --git a/Cargo.toml b/Cargo.toml
index ff98863..264b82b 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 
 name = "elan"
-version = "1.4.6"
+version = "2.0.0"
 authors = [ "Sebastian Ullrich <sebasti@nullri.ch>" ]
 description = "Manage multiple Lean installations with ease"
 publish = false