coq-kernel: set pname and version

2026-01-26 10:37:30 +01:00
parent 70d225e9c8
commit 96a8363843
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