From 7a499ee09bd11c5e2a84957ee19303fd8b3cd9f4 Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Mon, 16 May 2022 11:18:32 -0400
Subject: [PATCH] release: 3.0.1

---
 Lake/Version.lean | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/Lake/Version.lean b/Lake/Version.lean
index da275f7970..fc8f4b16a3 100644
--- a/Lake/Version.lean
+++ b/Lake/Version.lean
@@ -7,11 +7,12 @@ Authors: Mac Malone
 namespace Lake
 
 def version.major := 3
-def version.minor := 1
-def version.patch := 0
+def version.minor := 0
+def version.patch := 1
 
-def version.isRelease := false
-def version.specialDesc := "pre"
+def version.isPrerelease := false
+def version.isRelease := !isPrerelease
+def version.specialDesc := if isPrerelease then "pre" else ""
 
 def versionStringCore :=
   s!"{version.major}.{version.minor}.{version.patch}"