Merge pull request #291309 from r-ryantm/auto-update/wdt

wdt: unstable-2023-12-01 -> unstable-2024-02-05
This commit is contained in:
Nick Cao 2024-02-25 10:45:41 -05:00 committed by GitHub
commit 9a3ddc2764
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -14,13 +14,13 @@
stdenv.mkDerivation {
pname = "wdt";
version = "unstable-2023-12-01";
version = "unstable-2024-02-05";
src = fetchFromGitHub {
owner = "facebook";
repo = "wdt";
rev = "66f17af009ef6eaf2707bb8bb511ba6bcf3d9bbe";
sha256 = "sha256-ucnFcpH9Duru35kRT769zMX2BMqufZJopd2srKPJkrU=";
rev = "d94b2d5df6f1c803f9f3b8ed9247b752fa853865";
sha256 = "sha256-9TeJbZZq9uQ6KaEBFGDyIGcXgxi2y1aj55vxv5dAIzw=";
};
nativeBuildInputs = [ cmake ];