Merge pull request #280769 from f2k1de/mongodb-6.0.12

mongodb-6_0: 6.0.11 -> 6.0.12
This commit is contained in:
Weijia Wang 2024-01-13 22:09:01 +01:00 committed by GitHub
commit d246161572
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -6,8 +6,8 @@ let
};
in
buildMongoDB {
version = "6.0.11";
sha256 = "sha256-hIbbCDQ0Sqnm6ohtEpbdGWk18nLIlr6T0T9UL6WAFA8=";
version = "6.0.12";
sha256 = "sha256-5orVFio+4HIzhs63KJdZ1RHOPoOMa9Uk/8bygRs1JoY=";
patches = [
(fetchpatch {
name = "mongodb-6.1.0-rc-more-specific-cache-alignment-types.patch";