From 968dc836a362dff692d1478e73c5d42188c779d2 Mon Sep 17 00:00:00 2001
From: Seasawher <tellagoodstory@icloud.com>
Date: Wed, 9 Oct 2024 16:25:52 +0900
Subject: [PATCH] =?UTF-8?q?Reservoir=20=E7=94=A8=E3=81=AE=E3=83=A1?=
 =?UTF-8?q?=E3=82=BF=E3=83=87=E3=83=BC=E3=82=BF=E3=82=92=E8=BF=BD=E5=8A=A0?=
 =?UTF-8?q?=E3=81=99=E3=82=8B=20Fixes=20#963?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 lakefile.lean | 3 +++
 1 file changed, 3 insertions(+)

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