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