/srcpkgs/python3-mypy/