tlafmt: init at 0.3.0

2025-03-12 09:07:12 +01:00
parent d7d18819bb
commit 51232abb37
1 changed files with 29 additions and 0 deletions
@@ -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";
+  };
+}
+