chore: Release

leanprover · Jan 30, 2025 · 5c90be2 · 5c90be2
1 parent d2d5bc4
commit 5c90be2
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,4 +1,4 @@
-# Unreleased
+# 5.0.0 - 2025-01-30
 
 - Revamp toolchain resolution and storage
   * Toolchain references are now always resolved to a fixed `<owner>/<repo>:<version>` format before

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 
 name = "elan"
-version = "4.0.0-pre"
+version = "5.0.0"
 authors = [ "Sebastian Ullrich <[email protected]>" ]
 description = "Manage multiple Lean installations with ease"
 edition = "2021"