[create-pull-request] automated change (#175)

ImperialCollegeLondon · Oct 19, 2024 · dce9f25 · dce9f25
1 parent 2d648a7
commit dce9f25
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,7 +5,7 @@
  "type": "git",
  "subDir": null,
  "scope": "leanprover-community",
- "rev": "422d1a5f608fccafeddab9748e8038ef346b59bf",
+ "rev": "1e0bf50b357069e1d658512a579a5faac6587c40",
  "name": "batteries",
  "manifestFile": "lake-manifest.json",
  "inputRev": "main",
@@ -15,7 +15,7 @@
  "type": "git",
  "subDir": null,
  "scope": "leanprover-community",
- "rev": "fa3d73a2cf077f4b14c7840352ac7b08aeb6eb41",
+ "rev": "1357f4f49450abb9dfd4783e38219f4ce84f9785",
  "name": "Qq",
  "manifestFile": "lake-manifest.json",
  "inputRev": "master",
@@ -35,10 +35,10 @@
  "type": "git",
  "subDir": null,
  "scope": "leanprover-community",
- "rev": "cd20dae87c48495f0220663014dff11671597fcf",
+ "rev": "baa65c6339a56bd22b7292aa4511c54b3cc7a6af",
  "name": "proofwidgets",
  "manifestFile": "lake-manifest.json",
- "inputRev": "v0.0.43-pre",
+ "inputRev": "v0.0.43",
  "inherited": true,
  "configFile": "lakefile.lean"},
  {"url": "https://github.com/leanprover/lean4-cli",
@@ -75,7 +75,7 @@
  "type": "git",
  "subDir": null,
  "scope": "",
- "rev": "ebec1b61db40c3352391654316f3644e268fee46",
+ "rev": "418a5eb7aec3fb639097cb13f74fc031ac4057f2",
  "name": "mathlib",
  "manifestFile": "lake-manifest.json",
  "inputRev": null,
@@ -125,7 +125,7 @@
  "type": "git",
  "subDir": null,
  "scope": "",
- "rev": "ccb4e97ffb7ad0f9b1852e9669d5e2922f984175",
+ "rev": "d36b7fd4c730cae8a3a8edfe98beb34ef0fc6e0a",
  "name": "«doc-gen4»",
  "manifestFile": "lake-manifest.json",
  "inputRev": "main",