Merge pull request #218942 from wahjava/update-ugrep

ugrep: 3.9.7 -> 3.10.0
This commit is contained in:
Nick Cao 2023-03-01 15:02:05 +08:00 committed by GitHub
commit 4a4b82deae
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.7"; version = "3.10.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "Genivia"; owner = "Genivia";
repo = pname; repo = pname;
rev = "v${version}"; rev = "v${version}";
hash = "sha256-y6P0EQfp2HFmhn2c7RwX8jVLUOfLT+LVhtz+OIoaVSo="; hash = "sha256-ujLKAJNt2bWIq79Wh94QTFpd+7yUMhS7UMXa8gJScA4=";
}; };
buildInputs = [ buildInputs = [