Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
738 B · 34 lines
Nix
1234567891011121314151617181920212223242526272829303132333435{ build-idris-package, fetchFromGitHub, contrib, effects, libmicrohttpd, lib,}:build-idris-package { pname = "mhd"; version = "2016-04-22";
ipkgName = "MHD"; idrisDeps = [ contrib effects ];
extraBuildInputs = [ libmicrohttpd ];
src = fetchFromGitHub { owner = "colin-adams"; repo = "idris-libmicrohttpd"; rev = "a8808bc06fa292d4b3389f32cb00716e43122a46"; sha256 = "0wvp1qi3bn4hk52vsid6acfwvwbs58sggylbpjvkxzycsbhz4nx4"; };
meta = { description = "Binding of the GNU libmicrohttpd library to the Idris C backend"; homepage = "https://github.com/colin-adams/idris-libmicrohttpd"; license = lib.licenses.lgpl21; maintainers = [ lib.maintainers.brainrape ]; };}