Downgrade manifest for testing

pitmonticone · Aug 11, 2024 · 9ae7b71 · 9ae7b71
1 parent 14fb7c6
commit 9ae7b71
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "71f54425e6fe0fa75f3aef33a2813a7898392222",
+   "rev": "01ad33937acd996ee99eb74eefb39845e4e4b9f5",
    "name": "Qq",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "0444234b4216e944d5be2ce42a25d7410c67876f",
+   "rev": "ae6ea60e9d8bc2d4b37ff02115854da2e1b710d0",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -55,7 +55,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "57bd2065f1dbea5e9235646fb836c7cea9ab03b6",
+   "rev": "68cd8ae0f5b996176d1243d94c56e17de570e3bf",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "5bb47cdc9ef1d4807c3f148a620f71924c650086",
+   "rev": "fcfce35759363fc0cbf30be2ab529283e49e740c",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,