max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: update mdBook

Browse source 
Resolves #1421
This commit is contained in:
Sebastian Ullrich 2022-08-09 22:19:40 +02:00
parent fbb858a32c
commit 185829d089
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
doc/flake.lock generated
View file

@ -117,11 +117,11 @@
"mdBook": {
"flake": false,
"locked": {
"lastModified": 1644567966,
"narHash": "sha256-fqdb2AUAMmi54vfa2qOF7VMFvN3rNku8/kUh1YEW86g=",
"lastModified": 1660074464,
"narHash": "sha256-W30G7AeWBjdJE/CQZJU5vJjaDGZtpmxEKNMEvaYtuF8=",
"owner": "leanprover",
"repo": "mdBook",
"rev": "b7a9bc48e9881087cac684d0c6c2c0a3583417e8",
"rev": "9321c10c502cd59eea8afc4325a84eab3ddf9391",
"type": "github"
},
"original": {