chore: bump leantar version (#6430)

This fixes the issue that leantar-0.1.4.exe was not actually statically linked on windows, reported by @MohanadAhmed . Could someone using MacOS aarch64 check that this still works? All other OSs should be unaffected.
leanprover-community · Aug 8, 2023 · 6e03f37 · 6e03f37
1 parent cd300a5
commit 6e03f37
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Cache/IO.lean b/Cache/IO.lean
@@ -67,7 +67,7 @@ def CURLBIN :=
 
 /-- leantar version at https://github.com/digama0/leangz -/
 def LEANTARVERSION :=
-  "0.1.4"
+  "0.1.5"
 
 def EXE := if System.Platform.isWindows then ".exe" else ""