3
0
Fork 0
forked from mirrors/nixpkgs

ocamlPackages.yuujinchou: init at 2.0.0

This commit is contained in:
Vincent Laporte 2022-05-23 22:05:50 +02:00 committed by Vincent Laporte
parent f2be2aa1d5
commit a1e9a866e1
2 changed files with 28 additions and 0 deletions

View file

@ -0,0 +1,26 @@
{ lib, fetchFromGitHub, buildDunePackage, qcheck-alcotest }:
buildDunePackage rec {
pname = "yuujinchou";
version = "2.0.0";
minimalOCamlVersion = "4.12";
src = fetchFromGitHub {
owner = "RedPRL";
repo = pname;
rev = version;
sha256 = "sha256:1nhz44cyipy922anzml856532m73nn0g7iwkg79yzhq6yb87109w";
};
doCheck = true;
checkInputs = [ qcheck-alcotest ];
meta = {
description = "Name pattern combinators";
inherit (src.meta) homepage;
license = lib.licenses.asl20;
maintainers = [ lib.maintainers.vbgl ];
};
}

View file

@ -1457,6 +1457,8 @@ let
yuscii = callPackage ../development/ocaml-modules/yuscii { };
yuujinchou = callPackage ../development/ocaml-modules/yuujinchou { };
z3 = callPackage ../development/ocaml-modules/z3 {
inherit (pkgs) z3;
};