Arch Linux

Description:
mypy can't find any stub files for modules.

<string>:1: error: No library stub file for standard library module 'math'
<string>:1: note: (Stub files are from https://github.com/python/typeshed)
<string>:1: error: Cannot find 'builtins' module. Typeshed appears broken!

The typeshed submodule is not included in the github archive. It was included in the pypi.org archive used in the AUR package.

Additional info:
* package version(s) 0.600-2
* config and/or log files etc. Nothing more than the lines mentioned above.

https://bbs.archlinux.org/viewtopic.php?pid=1784079#p1784079

This is the archive of the typeshed commit used in the submodule as of mypy 0.600
https://github.com/python/typeshed/archive/2dc7d39af598ea594a978bca81ba743cf20f96b2.zip


Steps to reproduce:
Install mypy 0.600-2 and try to run this:
$ mypy -c "import math; print(math.ceil(1.1))"

Running it directly with python works fine:
$ python -c "import math; print(math.ceil(1.1))"
2