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