chore: bump leantar to 0.1.16-pre4 (leanprover-community#30813)

kim-em · kim-em · commit 3ae8eef78a78 · 2025-10-23T06:37:37.000Z
diff --git a/Cache/IO.lean b/Cache/IO.lean
@@ -70,7 +70,7 @@ def CURLBIN :=
 
 /-- leantar version at https://github.com/digama0/leangz -/
 def LEANTARVERSION :=
-  "0.1.15"
+  "0.1.16-pre4"
 
 def EXE := if System.Platform.isWindows then ".exe" else ""
 
