pyrox.dev
lol
1{ build-idris-package
2, fetchFromGitHub
3, contrib
4, effects
5, lib
6}:
7build-idris-package {
8 pname = "wyvern";
9 version = "2017-06-26";
10
11 idrisDeps = [ contrib effects ];
12
13 src = fetchFromGitHub {
14 owner = "ericqweinstein";
15 repo = "wyvern";
16 rev = "b9e3e5747c5b23608c6ed5e2ccf43b86caa04292";
17 sha256 = "0zihf95w7i0903zy1mzn1ldn697nf57yl80nl32dpgji72h98kh2";
18 };
19
20 postUnpack = ''
21 sed -i "s/Wyvern.Core/Wyvern.Main/g" source/src/Wyvern.idr
22 '';
23
24 meta = {
25 description = "Little web server written in Idris";
26 homepage = "https://github.com/ericqweinstein/wyvern";
27 license = lib.licenses.mit;
28 maintainers = [ lib.maintainers.brainrape ];
29 };
30}