Package python3-module-mypy

• mypy(1) — manual page for mypy 1.15.0-dev
• stubgen(1) — manual page for mypy stubgen 1.15.0-dev