tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{ build-idris-package
2, fetchFromGitHub
3, idrisscript
4, lib
5}:
6build-idris-package {
7 pname = "xhr";
8 version = "2017-04-22";
9
10 idrisDeps = [ idrisscript ];
11
12 src = fetchFromGitHub {
13 owner = "pierrebeaucamp";
14 repo = "idris-xhr";
15 rev = "fb32a748ccdb9070de3f2d6048564e34c064b362";
16 sha256 = "0l07mnarvrb4xdw0b2xqgyxq4rljw1axz5mc9w4gmhvcrzxnyfnr";
17 };
18
19 meta = {
20 description = "Idris library to interact with xhr";
21 homepage = "https://github.com/pierrebeaucamp/idris-xhr";
22 license = lib.licenses.asl20;
23 maintainers = [ lib.maintainers.brainrape ];
24 };
25}