Merge pull request #212998 from wahjava/update-ugrep

ugrep: 3.9.5 -> 3.9.6
This commit is contained in:
Weijia Wang 2023-01-27 20:50:01 +01:00 committed by GitHub
commit 60ea3c5c28
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -11,13 +11,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "ugrep"; pname = "ugrep";
version = "3.9.5"; version = "3.9.6";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "Genivia"; owner = "Genivia";
repo = pname; repo = pname;
rev = "v${version}"; rev = "v${version}";
hash = "sha256-vaoEfNhkvbcZwjSMRwmWo42jPg6+7mrZx+jIesQnmL0="; hash = "sha256-BzYlZl4NYjCXaM9ISGKSEP2xGFsE5GgX4zEIDniundo=";
}; };
buildInputs = [ buildInputs = [