Merge pull request #258446 from shyim/update-redis

php82Extensions.redis: 5.3.7 -> 6.0.1
This commit is contained in:
Elis Hirwing 2023-10-01 20:38:01 +02:00 committed by GitHub
commit b200dcc8b1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,7 +1,7 @@
{ buildPecl, lib, php, fetchFromGitHub }: { buildPecl, lib, php, fetchFromGitHub }:
let let
version = "5.3.7"; version = "6.0.1";
in buildPecl { in buildPecl {
inherit version; inherit version;
pname = "redis"; pname = "redis";
@ -10,7 +10,7 @@ in buildPecl {
repo = "phpredis"; repo = "phpredis";
owner = "phpredis"; owner = "phpredis";
rev = version; rev = version;
sha256 = "sha256-Cc9Mtx28j3kpyV8Yq+JSYQt5XQnELaVjuUbkkbG45kw="; hash = "sha256-0by0TC4TNFIzgMjoyuJG4EavMhkYqmn8TtRaVmgepfc=";
}; };
internalDeps = with php.extensions; [ internalDeps = with php.extensions; [