From 6733d30c180a8d57186cb66431a99282535fcf43 Mon Sep 17 00:00:00 2001
From: Remy Degenne <remydegenne@gmail.com>
Date: Fri, 16 Oct 2026 13:15:35 +0200
Subject: [PATCH] bump

---
 lake-manifest.json | 24 ++++++++++++------------
 lean-toolchain     |  2 +-
 2 files changed, 13 insertions(+), 13 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index 6e83939..8b4c81b 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "288183ac4ad486e094959709b0967c910df9ffa0",
+   "rev": "7cfcc01cc157169f997d8c892220f219eb0a9a96",
    "name": "LeanMachineLearning",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -15,10 +15,10 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "41d048456026a1e519fbc9f74b3734eccc4c8556",
+   "rev": "56a005855ea17e0b0958f73ec801ae140b0a1679",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "41d048456026a1e519fbc9f74b3734eccc4c8556",
+   "inputRev": "56a005855ea17e0b0958f73ec801ae140b0a1679",
    "inherited": true,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover/verso",
@@ -35,7 +35,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "aef59637faa9e85fa2486acaaf906ce3f572af7c",
+   "rev": "dfa4f38190d07c37e315953e08b90fe2d95b3c24",
    "name": "plausible",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -45,7 +45,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "234d9e074fbd6e911b920baf32db5291c3125be0",
+   "rev": "d6b4c7be5be75ec4917c873ac50c756dc1436372",
    "name": "LeanSearchClient",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -55,7 +55,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "80a81552bef492cc13d69cc7abddb61c29abbba3",
+   "rev": "a41f0e9a4dea23188ea9cc1c41ac9f8bbafe0b93",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "d5ad4a0b79fa7f9818fe1380d05a3f6143823c09",
+   "rev": "df72b022e558978a1c50264cfc4d7fec86fa8e04",
    "name": "proofwidgets",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -75,7 +75,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "04879b1e1de744d5c9777c8cf63fa55a8f652e5e",
+   "rev": "4a174c490d8707121c4a9290800489f105d85e07",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -85,7 +85,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "e7c4cdd2f1bf9df361ef7f621b4d6867012ab65e",
+   "rev": "dce0ad79c486cb1fb504af04f953c3466b0c6db8",
    "name": "Qq",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -95,7 +95,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "9bfcda9fca2e9438b8a77b6e61e5880f69a82540",
+   "rev": "66e469188fe07963e5cf666c7d4433f45b8131c5",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -105,10 +105,10 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover",
-   "rev": "82c11b9717083154aefc5fe8d4cba4bbf046298f",
+   "rev": "c24fe6078c630e89b489bffe59b3e20ac30d12c8",
    "name": "Cli",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.35.0-rc4",
+   "inputRev": "v4.35.0",
    "inherited": true,
    "configFile": "lakefile.toml"},
   {"url": "https://github.com/leanprover/illuminate",
diff --git a/lean-toolchain b/lean-toolchain
index e5b681c..d87704e 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.35.0-rc4
\ No newline at end of file
+leanprover/lean4:v4.35.0
\ No newline at end of file