Merge pull request #52217 from rvolosatovs/update/kitty

kitty: 0.12.3 -> 0.13.1
This commit is contained in:
Franz Pletz 2018-12-17 00:52:02 +00:00 committed by GitHub
commit 0f9016a948
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -7,7 +7,7 @@
with python3Packages;
buildPythonApplication rec {
version = "0.12.3";
version = "0.13.1";
name = "kitty-${version}";
format = "other";
@ -15,7 +15,7 @@ buildPythonApplication rec {
owner = "kovidgoyal";
repo = "kitty";
rev = "v${version}";
sha256 = "1nhk8pbwr673gw9qjgca4lzjgp8rw7sf99ra4wsh8jplf3kvgq5c";
sha256 = "1j24zjasdh48z7majfpqr71n1wn5a9688wsmmqn26v8kfb68pqs4";
};
buildInputs = [