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 1/2] 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";
+  };
+}
+

From 3e1c7a9f0ef5dab4de45df8bbc6921afe3b41f4e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?VESSE=20L=C3=A9o?= <leovesse@gmail.com>
Date: Wed, 12 Mar 2025 09:08:36 +0100
Subject: [PATCH 2/2] maintainers: add ciflire

fix: fileformat

fix: failure on format

fix: githubId type

fix: after squash
---
 maintainers/maintainer-list.nix    | 6 ++++++
 pkgs/by-name/tl/tlafmt/package.nix | 9 ++++-----
 2 files changed, 10 insertions(+), 5 deletions(-)

diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix
index 78f712b38133..85034827b0f4 100644
--- a/maintainers/maintainer-list.nix
+++ b/maintainers/maintainer-list.nix
@@ -4349,6 +4349,12 @@
     github = "ciferkey";
     githubId = 101422;
   };
+  ciflire = {
+    name = "Léo Vesse";
+    email = "leovesse@gmail.com";
+    github = "Ciflire";
+    githubId = 39668077;
+  };
   cig0 = {
     name = "Martín Cigorraga";
     email = "cig0.github@gmail.com";
diff --git a/pkgs/by-name/tl/tlafmt/package.nix b/pkgs/by-name/tl/tlafmt/package.nix
index 8a18c4ae4789..f7d5ee71a8b1 100644
--- a/pkgs/by-name/tl/tlafmt/package.nix
+++ b/pkgs/by-name/tl/tlafmt/package.nix
@@ -18,12 +18,11 @@ rustPlatform.buildRustPackage rec {
 
   cargoHash = "sha256-765tp4wUh7G92vaoViufo6Kk2c/w2d1XjZ3aN5UUAv0=";
 
-  meta = with lib; {
-    description = "A formatter for TLA+ specs";
+  meta = {
+    description = "Formatter for TLA+ specs";
     homepage = "https://github.com/domodwyer/tlafmt";
-    license = licenses.apsl20;
-    maintainers = with maintainers; [ ciflire ];
+    license = lib.licenses.asl20;
+    maintainers = with lib.maintainers; [ ciflire ];
     mainProgram = "tlafmt";
   };
 }
-