tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 build-idris-package,
4 fetchFromGitHub,
5}:
6
7build-idris-package {
8 pname = "tf-random";
9 version = "2020-01-15";
10
11 src = fetchFromGitHub {
12 owner = "david-christiansen";
13 repo = "idris-tf-random";
14 rev = "202aac3b96757e8247f6e26945329d90dd668aed";
15 sha256 = "1z8pyrsm1kdsspcs3h96k38h44ss0mv39lcz7xvwg8ickys3kqxl";
16 };
17
18 meta = {
19 description = "Port of Haskell tf-random";
20 homepage = "https://github.com/david-christiansen/idris-tf-random";
21 license = lib.licenses.bsd3;
22 maintainers = [ lib.maintainers.mikesperber ];
23 };
24}