public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

zz: adjust upstream URLs

This commit is contained in:
sternenseemann 2021-01-25 14:03:26 +01:00
parent 40f27ff2be
commit 190173e05b
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/compilers/zz/default.nix
View File

@ -5,7 +5,7 @@ rustPlatform.buildRustPackage rec {
version = "0.1"; version = "0.1";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "aep"; owner = "zetzit";
repo = "zz"; repo = "zz";
rev = version; rev = version;
sha256 = "0kqrfm2r9wn0p2c3lcprsy03p9qhrwjs990va8qi59jp704l84ad"; sha256 = "0kqrfm2r9wn0p2c3lcprsy03p9qhrwjs990va8qi59jp704l84ad";
@ -21,7 +21,7 @@ rustPlatform.buildRustPackage rec {
meta = with lib; { 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/aep/zz"; homepage = "https://github.com/zetzit/zz";
license = licenses.mit; license = licenses.mit;
maintainers = [ maintainers.marsam ]; maintainers = [ maintainers.marsam ];
}; };