From 458fa01a38ed978efbd47e8dac850f306fb0852a Mon Sep 17 00:00:00 2001
From: "R. Ryantm" <ryantm-bot@ryantm.com>
Date: Sun, 30 Mar 2025 05:14:14 +0000
Subject: [PATCH] tlafmt: 0.3.2 -> 0.4.0

---
 pkgs/by-name/tl/tlafmt/package.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pkgs/by-name/tl/tlafmt/package.nix b/pkgs/by-name/tl/tlafmt/package.nix
index 9eb4952f8aec..67871bfc951f 100644
--- a/pkgs/by-name/tl/tlafmt/package.nix
+++ b/pkgs/by-name/tl/tlafmt/package.nix
@@ -5,18 +5,18 @@
 }:
 rustPlatform.buildRustPackage rec {
   pname = "tlafmt";
-  version = "0.3.2";
+  version = "0.4.0";
 
   src = fetchFromGitHub {
     owner = "domodwyer";
     repo = "tlafmt";
     tag = "v${version}";
-    hash = "sha256-V7KTzjCLOdt31UO01iTHVk2zpPc+GdSpsrEfwwbjZrk=";
+    hash = "sha256-wZ0irWf9S4abcT1BvODFAQks9E6BO0gr43ibnSAxddo=";
   };
 
   useFetchCargoVendor = true;
 
-  cargoHash = "sha256-KUN7Et3wW5oLu+FK7ySWKSqpo1IL0ggww74IpFX0aSQ=";
+  cargoHash = "sha256-UAYajXmKPg9Ow3iRqcEhT50YP+i4ZKWOHTTrYR1SzhI=";
 
   meta = {
     description = "Formatter for TLA+ specs";