There's a closed pull request on the void-packages repository python3-mypy: add man page https://github.com/void-linux/void-packages/pull/25685 Description: