diff options
Diffstat (limited to 'pkgs/development/idris-modules/tfrandom.nix')
-rw-r--r-- | pkgs/development/idris-modules/tfrandom.nix | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/pkgs/development/idris-modules/tfrandom.nix b/pkgs/development/idris-modules/tfrandom.nix new file mode 100644 index 000000000000..5c6319503123 --- /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 ]; + }; +} |