Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
609 B · 32 lines
Nix
123456789101112131415161718192021222324252627282930313233{ build-idris-package, fetchFromGitHub, contrib, lightyear, bytes, lib,}:build-idris-package { pname = "http"; version = "2018-02-25";
idrisDeps = [ contrib lightyear bytes ];
src = fetchFromGitHub { owner = "uwap"; repo = "idris-http"; rev = "dc4a31543f87c0bc44cbaa98192f0303cd8dd82e"; sha256 = "1abrwi5ikymff4g7a0g5wskycvhpnn895z1z1bz9r71ks554ypl8"; };
meta = { description = "HTTP library for idris"; homepage = "https://github.com/uwap/idris-http"; license = lib.licenses.bsd2; maintainers = [ lib.maintainers.brainrape ]; };}