mongodb-tools: 100.10.0 -> 100.13.0

2025-08-21 23:22:32 -07:00
parent 32e2420484
commit 7359141cd8
1 changed files with 3 additions and 3 deletions
@@ -10,13 +10,13 @@

 buildGoModule rec {
  pname = "mongo-tools";
-  version = "100.10.0";
+  version = "100.13.0";

  src = fetchFromGitHub {
    owner = "mongodb";
    repo = "mongo-tools";
-    rev = version;
-    sha256 = "sha256-9DUfPD6wrv65PLVtxAF21BZ/joWFVFk+cItt9m/1Nx8=";
+    tag = version;
+    hash = "sha256-aQrwJFFdaCIkcnofdGtZ/BMX9KPqr1pHxwm+A04LhXI=";
  };

  vendorHash = null;