?

leanprover-community · Nov 1, 2023 · b1bb29d · b1bb29d
1 parent ce91563
commit b1bb29d
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -4,10 +4,10 @@
  [{"git":
    {"url": "https://github.com/leanprover/std4",
     "subDir?": null,
-    "rev": "a71c160b1934814837d37f377efaf2964e55c433",
+    "rev": "5cd3d13cce7c9b40dad27e2cbac32d1dad866f0e",
     "opts": {},
     "name": "std",
-    "inputRev?": "main",
+    "inputRev?": "lean-pr-testing-2783",
     "inherited": false}},
   {"git":
    {"url": "https://github.com/leanprover-community/quote4",
@@ -20,10 +20,10 @@
   {"git":
    {"url": "https://github.com/leanprover-community/aesop",
     "subDir?": null,
-    "rev": "ed733adcb79e54e157fafb805ce3518d4411ab70",
+    "rev": "ddff16044ebbe28d21e76ef363ca5862bdcbef8a",
     "opts": {},
     "name": "aesop",
-    "inputRev?": "master",
+    "inputRev?": "nightly-testing",
     "inherited": false}},
   {"git":
    {"url": "https://github.com/leanprover/lean4-cli",