diff --git a/pkgs/by-name/co/coq-kernel/package.nix b/pkgs/by-name/co/coq-kernel/package.nix
index 630c95cd0f4f..cd9966c52fd6 100644
--- a/pkgs/by-name/co/coq-kernel/package.nix
+++ b/pkgs/by-name/co/coq-kernel/package.nix
@@ -52,6 +52,7 @@ let
     runCommand "coq-kernel-launcher"
       {
         nativeBuildInputs = [ makeWrapper ];
+        inherit (coq-jupyter) pname version;
       }
       ''
         mkdir -p $out/bin