chore: update lake

main
Henrik Böving 2023-03-09 19:41:52 +01:00
parent 54463ac452
commit 8cb5a2ead4
1 changed files with 2 additions and 2 deletions

View File

@ -1,5 +1,5 @@
{"version": 4, {"version": 4,
"packagesDir": "./lake-packages", "packagesDir": "lake-packages",
"packages": "packages":
[{"git": [{"git":
{"url": "https://github.com/xubaiw/CMark.lean", {"url": "https://github.com/xubaiw/CMark.lean",
@ -10,7 +10,7 @@
{"git": {"git":
{"url": "https://github.com/leanprover/lake", {"url": "https://github.com/leanprover/lake",
"subDir?": null, "subDir?": null,
"rev": "d0b530530f14dde97a547b03abf87eee06360d60", "rev": "c2c609b37f200b2c7b59dfcac4eefebd909295e3",
"name": "lake", "name": "lake",
"inputRev?": "master"}}, "inputRev?": "master"}},
{"git": {"git":