Update lake-manifests

leanprover-community · Nov 23, 2023 · db25262 · db25262
1 parent 81b8e94
commit db25262
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/DuperOnMathlib/lake-manifest.json b/DuperOnMathlib/lake-manifest.json
@@ -53,7 +53,7 @@
   {"git":
    {"url": "https://github.com/leanprover-community/lean-auto.git",
     "subDir?": null,
-    "rev": "40791afa955f0472a2ee510e790adf0d34fe65b2",
+    "rev": "265a6e6dd94cd093c84f5d878b99a61fbbe280c9",
     "opts": {},
     "name": "auto",
     "inputRev?": "main",

diff --git a/lake-manifest.json b/lake-manifest.json
@@ -4,7 +4,7 @@
  [{"git":
    {"url": "https://github.com/leanprover-community/lean-auto.git",
     "subDir?": null,
-    "rev": "40791afa955f0472a2ee510e790adf0d34fe65b2",
+    "rev": "265a6e6dd94cd093c84f5d878b99a61fbbe280c9",
     "opts": {},
     "name": "auto",
     "inputRev?": "main",