mypy-lang: 0.4.5 -> 0.501 and rename to mypy

This commit is contained in:
Tom Hunger 2017-03-06 20:34:04 +00:00
parent 18f1127f05
commit 1a8a194186
2 changed files with 6 additions and 7 deletions

View File

@ -1,18 +1,17 @@
{ stdenv, fetchurl, python35Packages }: { stdenv, fetchurl, python35Packages }:
python35Packages.buildPythonApplication rec { python35Packages.buildPythonApplication rec {
name = "mypy-lang-${version}"; name = "mypy-${version}";
version = "0.4.5"; version = "0.501";
# Tests not included in pip package. # Tests not included in pip package.
doCheck = false; doCheck = false;
src = fetchurl { src = fetchurl {
url = "mirror://pypi/m/mypy-lang/${name}.tar.gz"; url = "mirror://pypi/m/mypy/${name}.tar.gz";
sha256 = "0x1n6r5in57zv4s75r22smpqxrz7xxp84fnrhkwzbpjnafa3y81f"; sha256 = "164g3dq2vzxa53n9lgvmbapg41qiwcxk1w9mvzmnqksvql5vm60h";
}; };
propagatedBuildInputs = with python35Packages; [ lxml ]; propagatedBuildInputs = with python35Packages; [ lxml typed-ast ];
meta = with stdenv.lib; { meta = with stdenv.lib; {
description = "Optional static typing for Python"; description = "Optional static typing for Python";

View File

@ -6909,7 +6909,7 @@ with pkgs;
grabserial = callPackage ../development/tools/grabserial { }; grabserial = callPackage ../development/tools/grabserial { };
mypy-lang = callPackage ../development/tools/mypy-lang { }; mypy = callPackage ../development/tools/mypy { };
### DEVELOPMENT / LIBRARIES ### DEVELOPMENT / LIBRARIES