Merge pull request #48755 from leenaars/thonny

thonny: 3.0.0b3 -> 3.0.1
This commit is contained in:
Timo Kaufmann 2018-10-20 22:58:07 +02:00 committed by GitHub
commit d75c5585cd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4,16 +4,24 @@ with python3.pkgs;
buildPythonApplication rec { buildPythonApplication rec {
pname = "thonny"; pname = "thonny";
version = "3.0.0b3"; version = "3.0.1";
src = fetchFromBitbucket { src = fetchFromBitbucket {
owner = "plas"; owner = "plas";
repo = pname; repo = pname;
rev = "a511d4539c532b6dddf6d7f1586d30e1ac35bd86"; rev = "f66bd266deda11534561a01ede53cf1b71d2c3c0";
sha256 = "1s3pp97r6p3j81idglnml4faxryk7saszxmv3gys1agdfj75qczr"; sha256 = "0mjskb0gyddybvlbhm10ch1rwzvmci95b018x67bh67bybdl4hm7";
}; };
propagatedBuildInputs = with python3.pkgs; [ jedi pyserial tkinter docutils pylint ]; propagatedBuildInputs = with python3.pkgs; [
jedi
pyserial
tkinter
docutils
pylint
mypy
pyperclip
];
preInstall = '' preInstall = ''
export HOME=$(mktemp -d) export HOME=$(mktemp -d)