community/py3-mypy: upgrade to 0.800 (!17443) · Merge requests · alpine / aports · GitLab

The source project of this merge request has been removed.

Justin Berthault requested to merge (removed):py3-mypy into master Jan 25, 2021