diff --git a/pkgs/development/ocaml-modules/mlbdd/default.nix b/pkgs/development/ocaml-modules/mlbdd/default.nix
new file mode 100644
index 000000000000..0392597c2f3b
--- /dev/null
+++ b/pkgs/development/ocaml-modules/mlbdd/default.nix
@@ -0,0 +1,30 @@
+{
+  lib,
+  fetchFromGitHub,
+  buildDunePackage,
+  ounit,
+}:
+
+buildDunePackage {
+  pname = "mlbdd";
+  version = "0.7.2";
+
+  minimalOCamlVersion = "4.04";
+
+  src = fetchFromGitHub {
+    owner = "arlencox";
+    repo = "mlbdd";
+    rev = "v0.7.2";
+    hash = "sha256-GRkaUL8LQDdQx9mPvlJIXatgRfen/zKt+nGLiH7Mfvs=";
+  };
+
+  checkInputs = [ ounit ];
+
+  doCheck = true;
+
+  meta = {
+    homepage = "https://github.com/arlencox/mlbdd";
+    description = "A not-quite-so-simple Binary Decision Diagrams implementation for OCaml";
+    maintainers = with lib.maintainers; [ katrinafyi ];
+  };
+}
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index 6cf16add6230..f40b306ee364 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -1179,6 +1179,8 @@ let
 
     mirage-vnetif = callPackage ../development/ocaml-modules/mirage-vnetif { };
 
+    mlbdd = callPackage ../development/ocaml-modules/mlbdd { };
+
     mldoc =  callPackage ../development/ocaml-modules/mldoc { };
 
     mlgmpidl =  callPackage ../development/ocaml-modules/mlgmpidl { };