lol
1{ build-idris-package
2, fetchFromGitHub
3, contrib
4, effects
5, libmicrohttpd
6, lib
7}:
8build-idris-package {
9 name = "mhd";
10 version = "2016-04-22";
11
12 ipkgName = "MHD";
13 idrisDeps = [ contrib effects ];
14
15 extraBuildInputs = [ libmicrohttpd ];
16
17 src = fetchFromGitHub {
18 owner = "colin-adams";
19 repo = "idris-libmicrohttpd";
20 rev = "a8808bc06fa292d4b3389f32cb00716e43122a46";
21 sha256 = "0wvp1qi3bn4hk52vsid6acfwvwbs58sggylbpjvkxzycsbhz4nx4";
22 };
23
24 meta = {
25 description = "A binding of the GNU libmicrohttpd library to the Idris C backend";
26 homepage = "https://github.com/colin-adams/idris-libmicrohttpd";
27 license = lib.licenses.lgpl21;
28 maintainers = [ lib.maintainers.brainrape ];
29 };
30}