We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 7006a01 commit 820ed60Copy full SHA for 820ed60
lake-manifest.json
@@ -45,7 +45,7 @@
45
"type": "git",
46
"subDir": null,
47
"scope": "leanprover-community",
48
- "rev": "189d2ef5a1db92e95e83fa61aaa3efa7422b8f6c",
+ "rev": "a74a55b6b08abdf54998cd811747397c5e4addd3",
49
"name": "aesop",
50
"manifestFile": "lake-manifest.json",
51
"inputRev": "nightly-testing",
0 commit comments