tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 rustPlatform,
3 lib,
4 fetchFromGitHub,
5}:
6rustPlatform.buildRustPackage rec {
7 pname = "tlafmt";
8 version = "0.4.1";
9
10 src = fetchFromGitHub {
11 owner = "domodwyer";
12 repo = "tlafmt";
13 tag = "v${version}";
14 hash = "sha256-79tCH4O7VFqiYloCAGVw7JJ5WvsFnjjKdBNmMPar+sk=";
15 };
16
17 cargoHash = "sha256-79eI2POpYr7nUThsWohetEzG17JAxMOVul5soJxYYms=";
18
19 meta = {
20 description = "Formatter for TLA+ specs";
21 homepage = "https://github.com/domodwyer/tlafmt";
22 license = lib.licenses.asl20;
23 maintainers = with lib.maintainers; [ ciflire ];
24 mainProgram = "tlafmt";
25 };
26}