lake update

Author: kim-em

lake-manifest.json

@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "cc9b9b590f04189c9a8ca5b5dd30cc2ce63d4672",
+   "rev": "b7f6be0ccc4216c8af5de6fe0ff3d063fe1d223d",
    "name": "UnicodeBasic",
    "manifestFile": "lake-manifest.json",
    "inputRev": "nightly-testing",

lakefile.lean

@@ -115,7 +115,7 @@ package_facet srcUri.github (pkg) : String := Job.async do
         s!"Could not interpret Git remote uri {url} as a Github source repo.\n"
           ++ "See README on source URIs for more details."
   let commit ← getProjectCommit pkg.dir
-  logInfo s!"Found git remote for {pkg.name} at {baseUrl} @ {commit}"
+  logInfo s!"Found git remote for {pkg.baseName} at {baseUrl} @ {commit}"
   let subdir ← getGitSubDirectory pkg.dir
   return "/".intercalate <| baseUrl :: "blob" :: commit :: filteredPath (subdir / pkg.config.srcDir)
 

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:nightly-2025-12-08
+leanprover/lean4:nightly-2025-12-13