gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

tlafmt: 0.3.2 -> 0.4.0 (#394525)

Browse Source
This commit is contained in:
Wolfgang Walther
2025-04-06 16:12:28 +00:00
committed by GitHub
parent a26e8348cf 458fa01a38
commit 7bc6cc4df6
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/by-name/tl/tlafmt/package.nix
+3 -3
View File
@@ -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";