From 5d0d410fd7d5fb5087ed337a894049b4b25b4d3b Mon Sep 17 00:00:00 2001
From: Kim Morrison <kim@tqft.net>
Date: Tue, 27 Oct 2026 14:57:18 +0000
Subject: [PATCH] Bump TauCeti and Mathlib pins for Axiom CFSG submission

---
 lake-manifest.json | 10 +++++-----
 lakefile.toml      |  4 ++--
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index f15e8b70..be874ffb 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -15,20 +15,20 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "5e0c4e5239cb0a2d86d68a884bf52cfd963fce22",
+   "rev": "b63f6e8a68d220e3b3bc4f3792bb53650d375f24",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "5e0c4e5239cb0a2d86d68a884bf52cfd963fce22",
+   "inputRev": "b63f6e8a68d220e3b3bc4f3792bb53650d375f24",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/TauCetiProject/TauCeti",
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "522706e83ca349c3d6bde045e56778d17354ae8d",
+   "rev": "6e0c6acab5f4c6f42e5f5bab9bd5e4e84f74c380",
    "name": "TauCeti",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "522706e83ca349c3d6bde045e56778d17354ae8d",
+   "inputRev": "6e0c6acab5f4c6f42e5f5bab9bd5e4e84f74c380",
    "inherited": false,
    "configFile": "lakefile.toml"},
   {"url": "https://github.com/Vilin97/lean-pool.git",
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "7e81a29bda33a6b257bd37557a6aa6aebe175d96",
+   "rev": "10a2cfff285e1c7c2ebc49c0ba22cab0f3c58ee5",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
diff --git a/lakefile.toml b/lakefile.toml
index b4172838..b54b07d7 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -20,12 +20,12 @@ rev = "e9d53e9cbcff8dfd0cc816ba94db7a26b082929f"
 [[require]]
 name = "TauCeti"
 git = "https://github.com/TauCetiProject/TauCeti"
-rev = "522706e83ca349c3d6bde045e56778d17354ae8d"
+rev = "6e0c6acab5f4c6f42e5f5bab9bd5e4e84f74c380"
 
 [[require]]
 name = "mathlib"
 git = "https://github.com/leanprover-community/mathlib4.git"
-rev = "5e0c4e5239cb0a2d86d68a884bf52cfd963fce22"
+rev = "b63f6e8a68d220e3b3bc4f3792bb53650d375f24"
 
 [[require]]
 name = "lean-eval-generator"