chore: update deps further

main
Henrik Böving 2023-03-17 18:11:26 +01:00
parent 7b65322c78
commit 23eb55fc22
1 changed files with 2 additions and 2 deletions

View File

@ -10,7 +10,7 @@
{"git":
{"url": "https://github.com/leanprover/lake",
"subDir?": null,
"rev": "f59328e3d9b23f0266e40ceb31cb4353d9bf0dae",
"rev": "9e00151251d3e550f1ef4b24e59fd0d0419b0602",
"name": "lake",
"inputRev?": "master"}},
{"git":
@ -28,6 +28,6 @@
{"git":
{"url": "https://github.com/fgdorais/lean4-unicode-basic",
"subDir?": null,
"rev": "8851eecfe12ec9afa4fb8fcf55eea994ec12423d",
"rev": "0930d561409bc8b36551b22e85575009289e602e",
"name": "UnicodeBasic",
"inputRev?": "main"}}]}