27 lines
597 B
Nix
27 lines
597 B
Nix
{
|
|
rustPlatform,
|
|
lib,
|
|
fetchFromGitHub,
|
|
}:
|
|
rustPlatform.buildRustPackage rec {
|
|
pname = "tlafmt";
|
|
version = "0.4.1";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "domodwyer";
|
|
repo = "tlafmt";
|
|
tag = "v${version}";
|
|
hash = "sha256-79tCH4O7VFqiYloCAGVw7JJ5WvsFnjjKdBNmMPar+sk=";
|
|
};
|
|
|
|
cargoHash = "sha256-79eI2POpYr7nUThsWohetEzG17JAxMOVul5soJxYYms=";
|
|
|
|
meta = {
|
|
description = "Formatter for TLA+ specs";
|
|
homepage = "https://github.com/domodwyer/tlafmt";
|
|
license = lib.licenses.asl20;
|
|
maintainers = with lib.maintainers; [ ciflire ];
|
|
mainProgram = "tlafmt";
|
|
};
|
|
}
|