Merge pull request #157419 from bew/update-rofi

rofi: 1.7.2 -> 1.7.3
This commit is contained in:
Felix Bühler 2022-02-01 22:36:55 +01:00 committed by GitHub
commit d67bd71972
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -23,14 +23,14 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "rofi-unwrapped"; pname = "rofi-unwrapped";
version = "1.7.2"; version = "1.7.3";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "davatorium"; owner = "davatorium";
repo = "rofi"; repo = "rofi";
rev = version; rev = version;
fetchSubmodules = true; fetchSubmodules = true;
sha256 = "vre8kFou01P7S6KBBtfzvfFP554mhV+d6rjvY+GfWXk="; sha256 = "sha256-bUedRRmrfdmzNW+2PzJvLbCTIWta2rbQ3CTLRSdJqbs=";
}; };
preConfigure = '' preConfigure = ''