BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

mypy-lang: init at 0.4.2

Browse source
This commit is contained in:
Martin Gammelsæter 2016-07-11 19:35:00 +02:00
parent 8c81c234d3
commit 811cf56f5f
3 changed files with 24 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
lib/maintainers.nix
View file

@ -232,6 +232,7 @@
markus1189 = "Markus Hauck <markus1189@gmail.com>";
markWot = "Markus Wotringer <markus@wotringer.de>";
martijnvermaat = "Martijn Vermaat <martijn@vermaat.name>";
martingms = "Martin Gammelsæter <martin@mg.am>";
matejc = "Matej Cotman <cotman.matej@gmail.com>";
mathnerd314 = "Mathnerd314 <mathnerd314.gph+hs@gmail.com>";
matthiasbeyer = "Matthias Beyer <mail@beyermatthias.de>";

21
pkgs/development/tools/mypy-lang/default.nix Normal file
View file

@ -0,0 +1,21 @@
{ stdenv, fetchurl, python35Packages }:
python35Packages.buildPythonApplication rec {
name = "mypy-lang-${version}";
version = "0.4.2";
# Tests not included in pip package.
doCheck = false;
src = fetchurl {
url = "mirror://pypi/m/mypy-lang/${name}.tar.gz";
sha256 = "12vwgzbpv0n403dvzas5ckw0f62slqk5j3024y65hi9n95r34rws";
};
meta = with stdenv.lib; {
description = "Optional static typing for Python";
homepage = "http://www.mypy-lang.org";
license = licenses.mit;
maintainers = with maintainers; [ martingms ];
};
}

2
pkgs/top-level/all-packages.nix
View file

@ -6705,6 +6705,8 @@ in
grabserial = callPackage ../development/tools/grabserial { };
mypy-lang = callPackage ../development/tools/mypy-lang { };
### DEVELOPMENT / LIBRARIES