diff --git a/pkgs/development/ocaml-modules/frama-c-luncov/default.nix b/pkgs/development/ocaml-modules/frama-c-luncov/default.nix
new file mode 100644
index 000000000000..16ccfc348e7d
--- /dev/null
+++ b/pkgs/development/ocaml-modules/frama-c-luncov/default.nix
@@ -0,0 +1,38 @@
+{
+  lib,
+  buildDunePackage,
+  dune-site,
+  fetchzip,
+  frama-c,
+  menhir,
+  unionFind,
+  why3,
+}:
+
+buildDunePackage (finalAttrs: {
+  pname = "frama-c-luncov";
+  version = "0.2.4";
+
+  src = fetchzip {
+    url = "https://git.frama-c.com/pub/ltest/luncov/-/archive/${finalAttrs.version}/luncov-${finalAttrs.version}.tar.bz2";
+    hash = "sha256-E7zzm9qs34V+sRHElpe1JKHjeyXGALXVj1DNMVzlWn0=";
+  };
+
+  nativeBuildInputs = [
+    menhir
+  ];
+
+  propagatedBuildInputs = [
+    dune-site
+    frama-c
+    unionFind
+    why3
+  ];
+
+  meta = {
+    description = "Luncov plugin of Frama-C, part of the LTest suite";
+    homepage = "https://frama-c.com/fc-plugins/ltest.html";
+    license = lib.licenses.lgpl2;
+    maintainers = with lib.maintainers; [ redianthus ];
+  };
+})
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index db0116e80d75..d45ed5935a2d 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -660,6 +660,8 @@ let
 
         frama-c-lannotate = callPackage ../development/ocaml-modules/frama-c-lannotate { };
 
+        frama-c-luncov = callPackage ../development/ocaml-modules/frama-c-luncov { };
+
         frei0r = callPackage ../development/ocaml-modules/frei0r {
           inherit (pkgs) frei0r;
         };