Man pages matching name dmypy in section 1:

dmypy.1.en	debian 10 / mypy
dmypy.1.en	debian 11 / mypy
dmypy.1.en	debian 12 / mypy