coq-kernel: set pname and version (#483930)

2026-02-02 07:59:27 +00:00
parent cb369ef2ef 96a8363843
commit 0349dac3f1
1 changed files with 1 additions and 0 deletions
@@ -52,6 +52,7 @@ let
    runCommand "coq-kernel-launcher"
      {
        nativeBuildInputs = [ makeWrapper ];
+        inherit (coq-jupyter) pname version;
      }
      ''
        mkdir -p $out/bin