Merge pull request #243457 from r-ryantm/auto-update/mongodb-tools

mongodb-tools: 100.7.0 -> 100.7.3
This commit is contained in:
Weijia Wang 2023-07-15 10:08:34 +02:00 committed by GitHub
commit e3fdc3fac9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,13 +2,13 @@
buildGoModule rec {
pname = "mongo-tools";
version = "100.7.0";
version = "100.7.3";
src = fetchFromGitHub {
owner = "mongodb";
repo = "mongo-tools";
rev = version;
sha256 = "sha256-m7Xn8RHCmnvT6S1694O+k8ZYSR9opN+/oYUG2yaZIMg=";
sha256 = "sha256-Ls2/P+0aqnTN4alP36aJ+86BjOZoULEuPMyW7NX5px8=";
};
vendorHash = null;