diff options
Diffstat (limited to 'nixpkgs/pkgs/development/compilers/zz/default.nix')
-rw-r--r-- | nixpkgs/pkgs/development/compilers/zz/default.nix | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/nixpkgs/pkgs/development/compilers/zz/default.nix b/nixpkgs/pkgs/development/compilers/zz/default.nix index dade163c5273..81c6e546e95f 100644 --- a/nixpkgs/pkgs/development/compilers/zz/default.nix +++ b/nixpkgs/pkgs/development/compilers/zz/default.nix @@ -2,19 +2,19 @@ rustPlatform.buildRustPackage rec { pname = "zz"; - version = "unstable-2021-01-26"; + version = "unstable-2021-03-07"; - # commit chosen by using the latest build from http://bin.zetz.it/ + # when updating, choose commit of the latest build on http://bin.zetz.it/ src = fetchFromGitHub { owner = "zetzit"; repo = "zz"; - rev = "0b5c52674e9adf795fbfb051d4dceef3126e669f"; - sha256 = "0bb77ll1g5i6a04ybpgx6lqsb74xs4v4nyqm9j4j6x24407h8l89"; + rev = "d3fc968ba2ae6668f930e39077f9a90aecb9fdc4"; + sha256 = "18p17lgwq6rq1n76sj0dwb32bpxflfd7knky1v0sgmaxfpaq04y3"; }; nativeBuildInputs = [ makeWrapper ]; - cargoSha256 = "1lf4k3n89w2797c1yrj1dp97y8a8d5hnixr1nwa2qcq1sxmm5rcg"; + cargoSha256 = "0i3c459d4699z4dwvdw1495krdv3c2qpygrsw0cz3j0zd2n5gqj6"; postPatch = '' # remove search path entry which would reference /build @@ -31,7 +31,7 @@ rustPlatform.buildRustPackage rec { ''; meta = with lib; { - description = "πΊπ ZetZ a zymbolic verifier and tranzpiler to bare metal C"; + description = "ZetZ a zymbolic verifier and tranzpiler to bare metal C"; homepage = "https://github.com/zetzit/zz"; license = licenses.mit; maintainers = [ maintainers.marsam ]; |