diff --git a/pkgs/development/ocaml-modules/qcheck/stm.nix b/pkgs/development/ocaml-modules/qcheck/stm.nix
new file mode 100644
index 000000000000..a4cd762ea5e4
--- /dev/null
+++ b/pkgs/development/ocaml-modules/qcheck/stm.nix
@@ -0,0 +1,17 @@
+{ buildDunePackage
+, qcheck-multicoretests-util
+}:
+
+buildDunePackage {
+  pname = "qcheck-stm";
+
+  inherit (qcheck-multicoretests-util) src version;
+
+  propagatedBuildInputs = [ qcheck-multicoretests-util ];
+
+  doCheck = true;
+
+  meta = qcheck-multicoretests-util.meta // {
+    description = "State-machine testing library for sequential and parallel model-based tests";
+  };
+}
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index f62c7364302a..b50358e4f2ec 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -1470,6 +1470,8 @@ let
 
     qcheck-ounit = callPackage ../development/ocaml-modules/qcheck/ounit.nix { };
 
+    qcheck-stm = callPackage ../development/ocaml-modules/qcheck/stm.nix { };
+
     qtest = callPackage ../development/ocaml-modules/qtest { };
 
     ### R ###