summary refs log tree commit diff
path: root/pkgs
diff options
context:
space:
mode:
authorVincent Laporte <Vincent.Laporte@gmail.com>2022-05-23 22:05:46 +0200
committerVincent Laporte <vbgl@users.noreply.github.com>2022-05-29 14:57:07 +0200
commitf2be2aa1d5813720c568509a85e4d04eb533c8fc (patch)
tree26425de76af0c4e9c96e802a472b2dee1dbe8f05 /pkgs
parent8bf6c20b2f7b05c205c5737c4d79cba02bb27d69 (diff)
downloadnixpkgs-f2be2aa1d5813720c568509a85e4d04eb533c8fc.tar
nixpkgs-f2be2aa1d5813720c568509a85e4d04eb533c8fc.tar.gz
nixpkgs-f2be2aa1d5813720c568509a85e4d04eb533c8fc.tar.bz2
nixpkgs-f2be2aa1d5813720c568509a85e4d04eb533c8fc.tar.lz
nixpkgs-f2be2aa1d5813720c568509a85e4d04eb533c8fc.tar.xz
nixpkgs-f2be2aa1d5813720c568509a85e4d04eb533c8fc.tar.zst
nixpkgs-f2be2aa1d5813720c568509a85e4d04eb533c8fc.zip
ocamlPackages.bwd: init at 2.0.0
Diffstat (limited to 'pkgs')
-rw-r--r--pkgs/development/ocaml-modules/bwd/default.nix25
-rw-r--r--pkgs/top-level/ocaml-packages.nix2
2 files changed, 27 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/bwd/default.nix b/pkgs/development/ocaml-modules/bwd/default.nix
new file mode 100644
index 00000000000..aa762502a59
--- /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 cc8fc806324..e61eedf151e 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 { };