Merge pull request #247783 from f2k1de/mongodb-5.0.19

mongodb-5_0: 5.0.18 -> 5.0.19
This commit is contained in:
Nick Cao 2023-08-12 23:48:25 -06:00 committed by GitHub
commit e243e6a377
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -6,8 +6,8 @@ let
};
variants = if stdenv.isLinux then
{
version = "5.0.18";
sha256 = "sha256-tvQkDBwXYRZbIuST49JJ5T9zzYe/4BQ8ul1vUGlXHxI=";
version = "5.0.19";
sha256 = "sha256-dApoEgAPEf2r1mMgs9VAJiHLBLoASETWXToR5Kx7qd4=";
patches = [ ./fix-build-with-boost-1.79-5_0-linux.patch ];
}
else lib.optionalAttrs stdenv.isDarwin