Merge pull request #74193 from d-goldin/python_init_pony

pythonPackages.pony: init at 0.7.11
2019-11-25 22:05:37 +01:00
parent 5cae87534b c68bc50e42
commit 332fd294ad
3 changed files with 37 additions and 0 deletions
@@ -1484,6 +1484,16 @@
      }
    ];
  };
+  d-goldin = {
+    email = "dgoldin+github@protonmail.ch";
+    github = "d-goldin";
+    githubId = 43349662;
+    name = "Dima";
+    keys = [{
+      longkeyid = "rsa4096/BAB1D15FB7B4D4CE";
+      fingerprint = "1C4E F4FE 7F8E D8B7 1E88 CCDF BAB1 D15F B7B4 D4CE";
+    }];
+  };
  dadada = {
    name = "dadada";
    email = "dadada@dadada.li";