Package python3-module-mypy

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