From f2be2aa1d5813720c568509a85e4d04eb533c8fc Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Mon, 23 May 2022 22:05:46 +0200 Subject: [PATCH] ocamlPackages.bwd: init at 2.0.0 --- .../development/ocaml-modules/bwd/default.nix | 25 +++++++++++++++++++ pkgs/top-level/ocaml-packages.nix | 2 ++ 2 files changed, 27 insertions(+) create mode 100644 pkgs/development/ocaml-modules/bwd/default.nix diff --git a/pkgs/development/ocaml-modules/bwd/default.nix b/pkgs/development/ocaml-modules/bwd/default.nix new file mode 100644 index 000000000000..aa762502a598 --- /dev/null +++ b/pkgs/development/ocaml-modules/bwd/default.nix @@ -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 ]; + }; +} diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index cc8fc806324a..e61eedf151ec 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -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 { };