chore: update Mathlib dependencies 2024-07-30-14-05

mathlib-bors[bot] · github-actions[bot] · commit 3d667d4dff36 · 2024-07-30T14:05:33.000Z
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "79fb157c6a5061190d169535f8e5cb007914a82e",
+   "rev": "9c66fa5071dba9578bb20a3bade04bcc15c57fc2",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
