tjh.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 contrib,
5 lib,
6}:
7build-idris-package {
8 pname = "tparsec";
9 version = "2020-02-11";
10
11 ipkgName = "TParsec";
12
13 idrisDeps = [ contrib ];
14
15 src = fetchFromGitHub {
16 owner = "gallais";
17 repo = "idris-tparsec";
18 rev = "943c64dfcb4e1582696f68312fad88145dc3a8e4";
19 sha256 = "0pyhkafhx2pwim91ada6qrgacvahl9bpv5m486y8fph4qzf4z6mx";
20 };
21
22 meta = {
23 description = "TParsec - Total Parser Combinators in Idris";
24 homepage = "https://github.com/gallais/idris-tparsec";
25 license = lib.licenses.gpl3;
26 maintainers = [ lib.maintainers.brainrape ];
27 };
28}