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