Update lake-manifest.json
This commit is contained in:
parent
6fb627dad3
commit
8c1fefb0be
@ -5,7 +5,7 @@
|
||||
"type": "git",
|
||||
"subDir": null,
|
||||
"scope": "leanprover-community",
|
||||
"rev": "b100ff2565805e9f30a482788b3fc66937a7f38a",
|
||||
"rev": "44e2d2e643fd2618b01f9a0592d7dcbd3ffa22de",
|
||||
"name": "batteries",
|
||||
"manifestFile": "lake-manifest.json",
|
||||
"inputRev": "main",
|
||||
@ -55,7 +55,7 @@
|
||||
"type": "git",
|
||||
"subDir": null,
|
||||
"scope": "leanprover-community",
|
||||
"rev": "b0b73e5bc33f1bc4d3c0f254630dd0e262cecc08",
|
||||
"rev": "119b022b3ea88ec810a677888528e50f8144a26e",
|
||||
"name": "importGraph",
|
||||
"manifestFile": "lake-manifest.json",
|
||||
"inputRev": "main",
|
||||
@ -65,7 +65,7 @@
|
||||
"type": "git",
|
||||
"subDir": null,
|
||||
"scope": "leanprover-community",
|
||||
"rev": "86d0d0584f5cd165353e2f8a30c455cd0e168ac2",
|
||||
"rev": "d7caecce0d0f003fd5e9cce9a61f1dd6ba83142b",
|
||||
"name": "LeanSearchClient",
|
||||
"manifestFile": "lake-manifest.json",
|
||||
"inputRev": "main",
|
||||
@ -85,7 +85,7 @@
|
||||
"type": "git",
|
||||
"subDir": null,
|
||||
"scope": "",
|
||||
"rev": "e3d7d7f053ea862ffb7d1613eff6de0f2e3e8e14",
|
||||
"rev": "b96544419e0739c6aefecfc4ee368400a77266ce",
|
||||
"name": "mathlib",
|
||||
"manifestFile": "lake-manifest.json",
|
||||
"inputRev": null,
|
||||
|
Loading…
Reference in New Issue
Block a user