From 620f3c6cf7b3ee13da06a1eb554cbe837a8c30d0 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Thu, 5 Mar 2020 10:58:23 +0100 Subject: [PATCH] idrisPackages: add tf-random package --- maintainers/maintainer-list.nix | 6 ++++++ pkgs/development/idris-modules/default.nix | 2 ++ pkgs/development/idris-modules/tfrandom.nix | 23 +++++++++++++++++++++ 3 files changed, 31 insertions(+) create mode 100644 pkgs/development/idris-modules/tfrandom.nix diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 04f0d882d8d..594387e5ad5 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -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"; diff --git a/pkgs/development/idris-modules/default.nix b/pkgs/development/idris-modules/default.nix index 074a260b816..7011a513c10 100644 --- a/pkgs/development/idris-modules/default.nix +++ b/pkgs/development/idris-modules/default.nix @@ -177,6 +177,8 @@ test = callPackage ./test.nix {}; + tf-random = callPackage ./tfrandom.nix {}; + tlhydra = callPackage ./tlhydra.nix {}; tomladris = callPackage ./tomladris.nix {}; diff --git a/pkgs/development/idris-modules/tfrandom.nix b/pkgs/development/idris-modules/tfrandom.nix new file mode 100644 index 00000000000..5c631950312 --- /dev/null +++ b/pkgs/development/idris-modules/tfrandom.nix @@ -0,0 +1,23 @@ +{ stdenv +, build-idris-package +, fetchFromGitHub +, lib +}: +build-idris-package { + name = "tf-random"; + version = "2020-01-15"; + + src = fetchFromGitHub { + owner = "david-christiansen"; + repo = "idris-tf-random"; + rev = "202aac3b96757e8247f6e26945329d90dd668aed"; + sha256 = "1z8pyrsm1kdsspcs3h96k38h44ss0mv39lcz7xvwg8ickys3kqxl"; + }; + + meta = { + description = "Port of Haskell tf-random"; + homepage = "https://github.com/david-christiansen/idris-tf-random"; + license = lib.licenses.bsd3; + maintainers = [ lib.maintainers.mikesperber ]; + }; +}