From 96a836384397df93ec991069f5705c5f4483560c Mon Sep 17 00:00:00 2001
From: jopejoe1 <jopejoe1@missing.ninja>
Date: Mon, 26 Jan 2026 10:37:30 +0100
Subject: [PATCH] coq-kernel: set pname and version

---
 pkgs/by-name/co/coq-kernel/package.nix | 1 +
 1 file changed, 1 insertion(+)

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