idrisPackages: add tf-random package

2020-03-20 13:44:50 +01:00
parent 1ddb140d95
commit 620f3c6cf7
3 changed files with 31 additions and 0 deletions
@@ -4748,6 +4748,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";