tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ lib, mkDerivation, fetchFromGitHub
2, standard-library }:
3
4mkDerivation rec {
5 pname = "agdarsec";
6 version = "0.4.1";
7
8 src = fetchFromGitHub {
9 owner = "gallais";
10 repo = "agdarsec";
11 rev = "v${version}";
12 sha256 = "02fqkycvicw6m2xsz8p01aq8n3gj2d2gyx8sgj15l46f8434fy0x";
13 };
14
15 everythingFile = "./index.agda";
16
17 includePaths = [ "src" "examples" ];
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 };
28}