From 51232abb373f92c93888d0f37104c04245ea0eef Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?VESSE=20L=C3=A9o?= <leovesse@gmail.com>
Date: Wed, 12 Mar 2025 09:07:12 +0100
Subject: [PATCH] tlafmt: init at 0.3.0

---
 pkgs/by-name/tl/tlafmt/package.nix | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 pkgs/by-name/tl/tlafmt/package.nix

diff --git a/pkgs/by-name/tl/tlafmt/package.nix b/pkgs/by-name/tl/tlafmt/package.nix
new file mode 100644
index 000000000000..8a18c4ae4789
--- /dev/null
+++ b/pkgs/by-name/tl/tlafmt/package.nix
@@ -0,0 +1,29 @@
+{
+  rustPlatform,
+  lib,
+  fetchFromGitHub,
+}:
+rustPlatform.buildRustPackage rec {
+  pname = "tlafmt";
+  version = "0.3.0";
+
+  src = fetchFromGitHub {
+    owner = "domodwyer";
+    repo = "tlafmt";
+    tag = "v${version}";
+    hash = "sha256-jBY7erB2LuKwCkshVHLV5kFVRJ8lkT63z1gt1Tikei4=";
+  };
+
+  useFetchCargoVendor = true;
+
+  cargoHash = "sha256-765tp4wUh7G92vaoViufo6Kk2c/w2d1XjZ3aN5UUAv0=";
+
+  meta = with lib; {
+    description = "A formatter for TLA+ specs";
+    homepage = "https://github.com/domodwyer/tlafmt";
+    license = licenses.apsl20;
+    maintainers = with maintainers; [ ciflire ];
+    mainProgram = "tlafmt";
+  };
+}
+