tjh.dev
1{
2 lib,
3 mkDerivation,
4 fetchFromGitHub,
5 standard-library,
6}:
7
8mkDerivation rec {
9 pname = "agdarsec";
10 version = "0.4.1";
11
12 src = fetchFromGitHub {
13 owner = "gallais";
14 repo = "agdarsec";
15 rev = "v${version}";
16 sha256 = "02fqkycvicw6m2xsz8p01aq8n3gj2d2gyx8sgj15l46f8434fy0x";
17 };
18
19 everythingFile = "./index.agda";
20
21 includePaths = [
22 "src"
23 "examples"
24 ];
25
26 buildInputs = [ standard-library ];
27
28 meta = with lib; {
29 homepage = "https://gallais.github.io/agdarsec/";
30 description = "Total Parser Combinators in Agda";
31 license = licenses.gpl3;
32 platforms = platforms.unix;
33 maintainers = with maintainers; [ turion ];
34 broken = true;
35 };
36}