From 190173e05b41153cefe0fefb3c0771e6f42e8c07 Mon Sep 17 00:00:00 2001 From: sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> Date: Mon, 25 Jan 2021 14:03:26 +0100 Subject: [PATCH] zz: adjust upstream URLs --- pkgs/development/compilers/zz/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/development/compilers/zz/default.nix b/pkgs/development/compilers/zz/default.nix index 273873c8801..cbf5e3bd9d8 100644 --- a/pkgs/development/compilers/zz/default.nix +++ b/pkgs/development/compilers/zz/default.nix @@ -5,7 +5,7 @@ rustPlatform.buildRustPackage rec { version = "0.1"; src = fetchFromGitHub { - owner = "aep"; + owner = "zetzit"; repo = "zz"; rev = version; sha256 = "0kqrfm2r9wn0p2c3lcprsy03p9qhrwjs990va8qi59jp704l84ad"; @@ -21,7 +21,7 @@ rustPlatform.buildRustPackage rec { meta = with lib; { description = "πŸΊπŸ™ ZetZ a zymbolic verifier and tranzpiler to bare metal C"; - homepage = "https://github.com/aep/zz"; + homepage = "https://github.com/zetzit/zz"; license = licenses.mit; maintainers = [ maintainers.marsam ]; };