Skip to content

Commit 349bf1e

Browse files
author
Jianqiu Zhao
committed
chore: make a compatible v4.26.0 branch
1 parent 9506def commit 349bf1e

2 files changed

Lines changed: 2 additions & 1 deletion

File tree

‎lakefile.lean‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@ open Lake DSL
33

44
package "binary" where
55
version := v!"0.1.0"
6+
leanOptions := #[⟨`experimental.module, true⟩]
67

78
@[default_target]
89
lean_lib Binary where

‎lean-toolchain‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
leanprover/lean4:v4.27.0
1+
leanprover/lean4:v4.26.0

0 commit comments

Comments
 (0)