gintro: 0.4.17 -> 0.4.22

This commit is contained in:
Christian Ulrich 2019-06-08 17:55:09 +02:00
parent e4fdd9d101
commit 156006da2a
No known key found for this signature in database
GPG Key ID: 8241BE099775A097
1 changed files with 2 additions and 2 deletions

View File

@ -15,13 +15,13 @@ let
in buildNimblePackage rec { in buildNimblePackage rec {
name = "gintro-${version}"; name = "gintro-${version}";
version = "0.4.17"; version = "0.4.22";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "StefanSalewski"; owner = "StefanSalewski";
repo = "gintro"; repo = "gintro";
rev = "v${version}"; rev = "v${version}";
sha256 = "1cyif60611gig0r65zlgk15rvxyp00dddqcd9bc54xx3znxmygbv"; sha256 = "0a6qz51gl3bczisrac99nq3a1bqxwaqgvk21j8fdmi3xmylzx54g";
}; };
patches = [ ./allow-preinstalled-oldgtk3.patch ]; patches = [ ./allow-preinstalled-oldgtk3.patch ];