zz: remove emojis from description
This commit is contained in:
parent
17badcf58a
commit
c878b14107
|
@ -31,7 +31,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/zetzit/zz";
|
homepage = "https://github.com/zetzit/zz";
|
||||||
license = licenses.mit;
|
license = licenses.mit;
|
||||||
maintainers = [ maintainers.marsam ];
|
maintainers = [ maintainers.marsam ];
|
||||||
|
|
Loading…
Reference in a new issue