Merge pull request #81813 from mikesperber/idris-tf-random

idrisPackages: add tf-random package
2020-03-21 03:31:55 +01:00
parent 9d0b3bff3b 620f3c6cf7
commit 22d313b421
3 changed files with 31 additions and 0 deletions
@@ -4847,6 +4847,12 @@
    githubId = 3958340;
    name = "Eshin Kunishima";
  };
+  mikesperber = {
+    email = "sperber@deinprogramm.de";
+    github = "mikesperber";
+    githubId = 1387206;
+    name = "Mike Sperber";
+  };
  mildlyincompetent = {
    email = "nix@kch.dev";
    github = "mildlyincompetent";