Merge pull request #19557 from wizeman/u/upd-mypy

mypy-lang: 0.4.3 -> 0.4.5
This commit is contained in:
Jörg Thalheim 2016-10-15 10:34:01 +02:00 committed by GitHub
commit 3d5c3da40f

View File

@ -2,14 +2,14 @@
python35Packages.buildPythonApplication rec {
name = "mypy-lang-${version}";
version = "0.4.3";
version = "0.4.5";
# Tests not included in pip package.
doCheck = false;
src = fetchurl {
url = "mirror://pypi/m/mypy-lang/${name}.tar.gz";
sha256 = "11d8195xg8hksyh2qapbv66jvjgfpjwkc61nwljcfq9si144f2nb";
sha256 = "0x1n6r5in57zv4s75r22smpqxrz7xxp84fnrhkwzbpjnafa3y81f";
};
propagatedBuildInputs = with python35Packages; [ lxml ];