pyrox.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 effects,
5 contrib,
6 lightyear,
7 lib,
8}:
9build-idris-package {
10 pname = "tlhydra";
11 version = "2017-13-26";
12
13 idrisDeps = [
14 effects
15 contrib
16 lightyear
17 ];
18
19 src = fetchFromGitHub {
20 owner = "Termina1";
21 repo = "tlhydra";
22 rev = "3fc9049447d9560fe16f4d36a2f2996494ac2b33";
23 sha256 = "1y3gcbc1ypv00vwa0w3v0n6ckf7gnz26xsfmgnidsaxzff3y0ymh";
24 };
25
26 meta = {
27 description = "Idris parser and serializer/deserealizer for TL language";
28 homepage = "https://github.com/Termina1/tlhydra";
29 maintainers = [ lib.maintainers.brainrape ];
30 };
31}