Merge pull request #115361 from SuperSandro2000/fix-collection24

2021-03-08 02:23:48 +01:00
parent 39acd7f220 d5106e90da
commit 8bad34a0f1
9 changed files with 64 additions and 44 deletions
@@ -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 ];