Merge pull request #69 from leanprover-community/bump_to_v4.16.0

chore: bump toolchain to v4.16.0
leanprover-community · Feb 3, 2025 · b131111 · b131111
2 parents f0c584b + 470405e
commit b131111
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -1,4 +1,4 @@
-{"version": 7,
+{"version": "1.1.0",
  "packagesDir": ".lake/packages",
  "packages": [],
  "name": "Qq",

diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.15.0
+leanprover/lean4:v4.16.0