From 0d092ac15cf49b143af007021caf5bc329110b94 Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Fri, 25 Sep 2026 00:04:29 +0200
Subject: [PATCH] chore: bump toolchain to v4.35.0-rc3

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

diff --git a/lake-manifest.json b/lake-manifest.json
index 094cc16..b7aa4c7 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -1,11 +1,11 @@
-{"version": "1.2.0",
+{"version": "1.3.0",
  "packagesDir": ".lake/packages",
  "packages":
  [{"url": "https://github.com/leanprover/lean4export",
    "type": "git",
    "subDir": null,
    "scope": "leanprover",
-   "rev": "6cea97789dc088ea47fcea15692db85685aedac5",
+   "rev": "66f1fb4bc256072069767fce52d39480e4524869",
    "name": "lean4export",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
diff --git a/lean-toolchain b/lean-toolchain
index acc704f..f0e00b3 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.35.0-rc2
+leanprover/lean4:v4.35.0-rc3