tjh.dev
1{
2 lib,
3 mkRocqDerivation,
4 stdlib,
5 rocq-core,
6 version ? null,
7}:
8
9with lib;
10mkRocqDerivation {
11 pname = "parseque";
12 repo = "parseque";
13 owner = "rocq-community";
14
15 inherit version;
16 defaultVersion =
17 with versions;
18 switch
19 [ rocq-core.rocq-version ]
20 [
21 {
22 cases = [ (range "9.0" "9.0") ];
23 out = "0.3.0";
24 }
25 ]
26 null;
27
28 release."0.3.0".sha256 = "sha256-W2eenv5Q421eVn2ubbninFmmdT875f3w/Zs7yGHUKP4=";
29
30 propagatedBuildInputs = [ stdlib ];
31
32 releaseRev = v: "v${v}";
33
34 meta = {
35 description = "Total parser combinators in Rocq";
36 maintainers = with maintainers; [ womeier ];
37 license = licenses.mit;
38 };
39}