tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 version ? null,
6}:
7
8let
9 derivation = mkCoqDerivation {
10 pname = "parseque";
11 repo = "parseque";
12 owner = "rocq-community";
13
14 inherit version;
15 defaultVersion =
16 let
17 case = case: out: { inherit case out; };
18 in
19 lib.switch coq.coq-version [
20 (case (lib.versions.range "8.16" "8.20") "0.2.2")
21 ] null;
22
23 release."0.2.2".sha256 = "sha256-O50Rs7Yf1H4wgwb7ltRxW+7IF0b04zpfs+mR83rxT+E=";
24
25 releaseRev = v: "v${v}";
26
27 meta = {
28 description = "Total parser combinators in Coq/Rocq";
29 maintainers = with lib.maintainers; [ womeier ];
30 license = lib.licenses.mit;
31 };
32 };
33in
34# this is just a wrapper for rocqPackages.parseque for Rocq >= 9.0
35if coq.rocqPackages ? parseque then
36 coq.rocqPackages.parseque.override {
37 inherit version;
38 inherit (coq.rocqPackages) rocq-core;
39 }
40else
41 derivation