tlafmt: 0.3.2 -> 0.4.0
This commit is contained in:
parent
015baae019
commit
458fa01a38
@ -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";
|
||||
|
Loading…
Reference in New Issue
Block a user