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

chore: update dependencies

main
Henrik Böving 2023-11-05 09:59:30 +01:00
parent ec2561f34b
commit e859e2f777
2 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
lake-manifest.json
View File

@ -1,4 +1,4 @@
{"version": 5, {"version": 6,
"packagesDir": "lake-packages", "packagesDir": "lake-packages",
"packages": "packages":
[{"git": [{"git":
@ -12,15 +12,15 @@
{"git": {"git":
{"url": "https://github.com/fgdorais/lean4-unicode-basic", {"url": "https://github.com/fgdorais/lean4-unicode-basic",
"subDir?": null, "subDir?": null,
"rev": "f09250282cea3ed8c010f430264d9e8e50d7bc32", "rev": "4ecf4f1f98d14d03a9e84fa1c082630fa69df88b",
"opts": {}, "opts": {},
"name": "«lean4-unicode-basic»", "name": "UnicodeBasic",
"inputRev?": "main", "inputRev?": "main",
"inherited": false}}, "inherited": false}},
{"git": {"git":
{"url": "https://github.com/mhuisi/lean4-cli", {"url": "https://github.com/mhuisi/lean4-cli",
"subDir?": null, "subDir?": null,
"rev": "5a858c32963b6b19be0d477a30a1f4b6c120be7e", "rev": "39229f3630d734af7d9cfb5937ddc6b41d3aa6aa",
"opts": {}, "opts": {},
"name": "Cli", "name": "Cli",
"inputRev?": "nightly", "inputRev?": "nightly",
@ -32,4 +32,5 @@
"opts": {}, "opts": {},
"name": "leanInk", "name": "leanInk",
"inputRev?": "doc-gen", "inputRev?": "doc-gen",
"inherited": false}}]} "inherited": false}}],
"name": "«doc-gen4»"}

2
lakefile.lean
View File

@ -14,7 +14,7 @@ lean_exe «doc-gen4» {
require CMark from git require CMark from git
"https://github.com/xubaiw/CMark.lean" @ "main" "https://github.com/xubaiw/CMark.lean" @ "main"
require «lean4-unicode-basic» from git require «UnicodeBasic» from git
"https://github.com/fgdorais/lean4-unicode-basic" @ "main" "https://github.com/fgdorais/lean4-unicode-basic" @ "main"
require Cli from git require Cli from git