community/py3-mypy: upgrade to 0.800

Closed Justin Berthault requested to merge (removed):py3-mypy into master

Merge request reports