r
/
bookshelf-doc
mirror of https://github.com/jrpotter/bookshelf-doc
1
Fork 0
Code Issues Packages Projects Releases Wiki Activity

chore: update toolchain

main
Henrik 2023-04-22 01:25:13 +02:00
parent a5c41d25a4
commit 9ebc79338e
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lake-manifest.json
View File

@ -10,7 +10,7 @@
{"git": {"git":
{"url": "https://github.com/leanprover/lake", {"url": "https://github.com/leanprover/lake",
"subDir?": null, "subDir?": null,
"rev": "f120dbcaf8dafe864a5a4c28b34500352dbf1e60", "rev": "257fc59a6464f5732a4f49e7dda0fc37475819fb",
"name": "lake", "name": "lake",
"inputRev?": "master"}}, "inputRev?": "master"}},
{"git": {"git":

2
lean-toolchain
View File

@ -1 +1 @@
leanprover/lean4:nightly-2023-04-11 leanprover/lean4:nightly-2023-04-20