Merge pull request #132631 from robertodr/update-rofi-file-browser

rofi-file-browser: 1.1.1 -> 1.2.0
This commit is contained in:
Maximilian Bosch 2021-08-06 18:59:32 +02:00 committed by GitHub
commit 3717131c56
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
pname = "rofi-file-browser-extended";
version = "1.1.1";
version = "1.2.0";
src = fetchFromGitHub {
owner = "marvinkreis";
repo = pname;
rev = version;
sha256 = "10wk5sif3bmvsgyk2gdy0qhpv1b37zgzf89n3h0yh7pg195fi2gn";
sha256 = "1grcal8ga4gpaj3p1dvx4zmqai93jjz2izpj91lxwj0dbz1gmbdm";
fetchSubmodules = true;
};