We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent aa93e8a commit 221e18bCopy full SHA for 221e18b
lake-manifest.json
@@ -25,7 +25,7 @@
25
"type": "git",
26
"subDir": null,
27
"scope": "",
28
- "rev": "9970984141ca64ede2e403a8510c34951a489216",
+ "rev": "d42cf40166b328f3ec4de193cf6f044b64c7aa44",
29
"name": "mathlib",
30
"manifestFile": "lake-manifest.json",
31
"inputRev": null,
0 commit comments