python3.pkgs.pyls-mypy: 0.1.2 -> 0.1.3

This commit is contained in:
Jörg Thalheim 2018-08-10 14:22:59 +02:00
parent 3ea430ca2a
commit 0165572217

View file

@ -1,29 +1,21 @@
{ lib, buildPythonPackage, fetchFromGitHub, fetchpatch
{ lib, buildPythonPackage, fetchFromGitHub
, future, python-language-server, mypy, configparser
, pytest, mock, isPy3k, pytestcov, coverage
}:
buildPythonPackage rec {
pname = "pyls-mypy";
version = "0.1.2";
version = "0.1.3";
src = fetchFromGitHub {
owner = "tomv564";
repo = "pyls-mypy";
rev = version;
sha256 = "0wa038a8a8yj3wmrc7q909nj4b5d3lq70ysbw7rpsnyb0x06m826";
sha256 = "0v7ghcd1715lxlfq304b7xhchp31ahdd89lf6za4n0l59dz74swh";
};
disabled = !isPy3k;
patches = [
# also part of https://github.com/tomv564/pyls-mypy/pull/10
(fetchpatch {
url = "https://github.com/Mic92/pyls-mypy/commit/4c727120d2cbd8bf2825e1491cd55175f03266d2.patch";
sha256 = "1dgn5z742swpxwknmgvm65jpxq9zwzhggw4nl6ys7yw8r49kqgrl";
})
];
checkPhase = ''
HOME=$TEMPDIR pytest
'';
@ -35,8 +27,8 @@ buildPythonPackage rec {
];
meta = with lib; {
homepage = https://github.com/palantir/python-language-server;
description = "An implementation of the Language Server Protocol for Python";
homepage = https://github.com/tomv564/pyls-mypy;
description = "Mypy plugin for the Python Language Server";
license = licenses.mit;
maintainers = [ maintainers.mic92 ];
};