ocamlPackages.bwd: init at 2.0.0

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

View File

@ -0,0 +1,25 @@
{ lib, fetchFromGitHub, buildDunePackage, qcheck-core }:
buildDunePackage rec {
pname = "bwd";
version = "2.0.0";
minimalOCamlVersion = "4.12";
src = fetchFromGitHub {
owner = "RedPRL";
repo = "ocaml-bwd";
rev = version;
sha256 = "sha256:0zgi8an53z6wr6nzz0zlmhx19zhqy1w2vfy1sq3sikjwh74jjq60";
};
doCheck = true;
checkInputs = [ qcheck-core ];
meta = {
description = "Backward Lists";
inherit (src.meta) homepage;
license = lib.licenses.asl20;
maintainers = [ lib.maintainers.vbgl ];
};
}

View File

@ -93,6 +93,8 @@ let
brisk-reconciler = callPackage ../development/ocaml-modules/brisk-reconciler { };
bwd = callPackage ../development/ocaml-modules/bwd { };
bz2 = callPackage ../development/ocaml-modules/bz2 { };
ca-certs = callPackage ../development/ocaml-modules/ca-certs { };