../ mypy-doc_0.670-2_all.deb 22-Jul-2020 14:21 177332 mypy_0.670-2_all.deb 22-Jul-2020 14:40 19804 python3-mypy_0.670-2_all.deb 22-Jul-2020 15:22 780544