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 Böving 2022-10-28 23:47:09 +02:00
parent 120a81d25e
commit 6c8b79a539
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lean-toolchain
View File

@ -1 +1 @@
leanprover/lean4:nightly-2022-10-20 leanprover/lean4:nightly-2022-10-28

2
lean_packages/manifest.json
View File

@ -13,7 +13,7 @@
"name": "Unicode", "name": "Unicode",
"inputRev": "main"}, "inputRev": "main"},
{"url": "https://github.com/leanprover/lake", {"url": "https://github.com/leanprover/lake",
"rev": "c5a8ec5bc5d160da0aef5084a7257df9e653cbe7", "rev": "004034496ef84b21976a940edc65f335340bd2ec",
"name": "lake", "name": "lake",
"inputRev": "master"}, "inputRev": "master"},
{"url": "https://github.com/xubaiw/CMark.lean", {"url": "https://github.com/xubaiw/CMark.lean",