chore: update deps#447

jessealama wants to merge 1 commit intoleanprover-community:mainleanprover-community/lean4game:mainfrom

jessealama:chore/update-semver-depsjessealama/lean4game:chore/update-semver-depsCopy head branch name to clipboard