Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
595 B · 26 lines
Nix
123456789101112131415161718192021222324252627{ build-idris-package, fetchFromGitHub, idrisscript, lib,}:build-idris-package { pname = "xhr"; version = "2017-04-22";
idrisDeps = [ idrisscript ];
src = fetchFromGitHub { owner = "pierrebeaucamp"; repo = "idris-xhr"; rev = "fb32a748ccdb9070de3f2d6048564e34c064b362"; sha256 = "0l07mnarvrb4xdw0b2xqgyxq4rljw1axz5mc9w4gmhvcrzxnyfnr"; };
meta = { description = "Idris library to interact with xhr"; homepage = "https://github.com/pierrebeaucamp/idris-xhr"; license = lib.licenses.asl20; maintainers = [ lib.maintainers.brainrape ]; };}