From 768b0488b3fbc59c6a69157f018c032b0c78a585 Mon Sep 17 00:00:00 2001
From: Seasawher <tellagoodstory@icloud.com>
Date: Thu, 14 Nov 2024 21:02:46 +0900
Subject: [PATCH] =?UTF-8?q?=E3=83=90=E3=83=BC=E3=82=B8=E3=83=A7=E3=83=B3?=
 =?UTF-8?q?=E6=9B=B4=E6=96=B0=E5=BF=98=E3=82=8C=20Fixes=20#1096?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 lakefile.lean | 1 -
 1 file changed, 1 deletion(-)

diff --git a/lakefile.lean b/lakefile.lean
index 53a5a6d..512d222 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -12,7 +12,6 @@ abbrev linterOptions : Array LeanOption := #[
 ]
 
 package «Lean by Example» where
-  version := v!"4.13.0-rc3"
   keywords := #["manual", "reference", "tutorial", "japanese", "cheatsheet"]
   description := "プログラミング言語であるとともに定理証明支援系でもある Lean 言語と、その主要なライブラリの使い方を豊富なコード例とともに解説した資料です。"
   leanOptions := #[