12 Commits

Author	SHA1	Message	Date
Eklavya Sharma	bda5517b5c	mypy: Upgrade to latest version of mypy.	2017-05-23 10:42:44 -07:00
Raghav Jajodia	4ef4026e6a	requirements: Upgrade mypy to version 0.501.	2017-03-04 15:41:11 -08:00
Tim Abbott	bb5d81281c	mypy: Upgrade to new package name and version 0.571. ... Fixes #3448.	2017-02-10 23:53:44 -08:00
Tim Abbott	464411833d	requirements: Upgrade mypy to 0.4.6 release.	2017-01-08 22:48:25 -08:00
Tim Abbott	be506d63f6	requirements: Upgrade a bunch of minor Python package versions. ... These are all minor versions and thus shouldn't have any impact.	2016-11-05 09:13:28 -07:00
Tim Abbott	ec9dcd7fb4	Upgrade mypy to version 0.4.5. ... Now that 0.4.5 is out, we no longer need to use a forked version of mypy.	2016-10-16 01:10:43 -07:00
Tim Abbott	0cab02b58a	Upgrade mypy to latest upstream git. ... This new mypy version supports some performance improvements and should also facilitate running mypy on our scripts more efficiently.	2016-09-19 22:19:38 -07:00
Umair Khan	13159ab266	Provide versions through egg. ... Giving version in the git urls will allow pip to compare the installed version and skip the download if the installed version is up to date.	2016-09-08 14:15:20 -07:00
Eklavya Sharma	3894ea0e30	Upgrade mypy version.	2016-07-13 21:05:12 -07:00
Umair Khan	f45848f62f	Install mypy-lang as egg. ... It seems that --install-option given in any pip requirement pollutes the pollutes the global space and causes installation of mypy-lang to give error.	2016-07-13 11:24:18 -07:00
Eklavya Sharma	61d052ae41	Upgrade mypy version.	2016-07-01 20:16:36 +05:30
Tim Abbott	5c92639f81	Move mypy requirements to requirements/ directory.	2016-06-18 16:41:40 -07:00