There's a merged pull request on the void-packages repository python3-mypy: update to 0.920. https://github.com/void-linux/void-packages/pull/34578 Description: #### Testing the changes - I tested the changes in this PR: **briefly**