diff options
| author | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-01-25 14:03:26 +0100 |
|---|---|---|
| committer | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-01-25 14:03:26 +0100 |
| commit | 190173e05b41153cefe0fefb3c0771e6f42e8c07 (patch) | |
| tree | 63ae9c44ff8dd32a178ee16d0a521239818ef886 /pkgs/development/compilers | |
| parent | 40f27ff2bef9e5ca1f0753c229e7df0d999fc60c (diff) | |
zz: adjust upstream URLs
Diffstat (limited to 'pkgs/development/compilers')
| -rw-r--r-- | pkgs/development/compilers/zz/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/compilers/zz/default.nix b/pkgs/development/compilers/zz/default.nix index 273873c88017..cbf5e3bd9d8c 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 ]; }; |