zulip

Author	SHA1	Message	Date
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