Merge pull request #277089 from r-ryantm/auto-update/php81Extensions.mongodb

php81Extensions.mongodb: 1.17.1 -> 1.17.2
This commit is contained in:
Pol Dellaiera 2023-12-27 13:47:32 +01:00 committed by GitHub
commit 6a56091fcf
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -15,13 +15,13 @@
buildPecl rec { buildPecl rec {
pname = "mongodb"; pname = "mongodb";
version = "1.17.1"; version = "1.17.2";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "mongodb"; owner = "mongodb";
repo = "mongo-php-driver"; repo = "mongo-php-driver";
rev = version; rev = version;
hash = "sha256-QAMDzI9f/I7hNlafYoEJrCpsbEMFvKR+JnR1G+ZnPpU="; hash = "sha256-7JzFls5cMzlA2aEM7M4+Dg4yIJNzz/vNOXNEITejePk=";
fetchSubmodules = true; fetchSubmodules = true;
}; };