Unverified Commit 69840cfa authored by Théo Zimmermann's avatar Théo Zimmermann Committed by GitHub
Browse files

parseque coq library: init at version 0.2.2 (#411657)

parents 3a4dfc91 9e287e88

maintainers/maintainer-list.nix

+6 −0
Original line number Diff line number Diff line
@@ -26716,6 +26716,12 @@ 
    githubId = 9132420;

    keys = [ { fingerprint = "F943 A0BC 720C 5BEF 73CD E02D B398 93FA 5F65 CAE1"; } ];

  };

  womeier = {

    name = "Wolfgang Meier";

    email = "womeier@posteo.de";

    github = "womeier";

    githubId = 55190123;

  };

  womfoo = {

    email = "kranium@gikos.net";

    github = "womfoo";

pkgs/development/coq-modules/parseque/default.nix

0 → 100644
+37 −0
Original line number Diff line number Diff line 
{

  lib,

  mkCoqDerivation,

  which,

  coq,

  version ? null,

}:



with lib;

mkCoqDerivation {

  pname = "parseque";

  repo = "parseque";

  owner = "rocq-community";



  inherit version;

  defaultVersion =

    with versions;

    switch

      [ coq.coq-version ]

      [

        {

          cases = [ (range "8.16" "8.20") ];

          out = "0.2.2";

        }

      ]

      null;



  release."0.2.2".sha256 = "sha256-O50Rs7Yf1H4wgwb7ltRxW+7IF0b04zpfs+mR83rxT+E=";



  releaseRev = v: "v${v}";



  meta = {

    description = "Total parser combinators in Rocq";

    maintainers = with maintainers; [ womeier ];

    license = licenses.mit;

  };

}

pkgs/top-level/coq-packages.nix

+1 −0
Original line number Diff line number Diff line
@@ -187,6 +187,7 @@ let 
      paco = callPackage ../development/coq-modules/paco { };

      paramcoq = callPackage ../development/coq-modules/paramcoq { };

      parsec = callPackage ../development/coq-modules/parsec { };

      parseque = callPackage ../development/coq-modules/parseque { };

      pocklington = callPackage ../development/coq-modules/pocklington { };

      QuickChick = callPackage ../development/coq-modules/QuickChick { };

      reglang = callPackage ../development/coq-modules/reglang { };