pyrox.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 buildInputs = [ standard-library ];
20
21 meta = with lib; {
22 homepage = "https://gallais.github.io/agdarsec/";
23 description = "Total Parser Combinators in Agda";
24 license = licenses.gpl3;
25 platforms = platforms.unix;
26 maintainers = with maintainers; [ turion ];
27 broken = true;
28 };
29}