../ mypy-doc_0.670-2_all.deb 11-Feb-2019 16:10 177332 mypy_0.670-2_all.deb 11-Feb-2019 16:10 19804 python3-mypy_0.670-2_all.deb 11-Feb-2019 16:10 780544