diff options
author | Nick Cao <nickcao@nichi.co> | 2023-12-27 10:42:46 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-12-27 10:42:46 -0500 |
commit | 8ad983b396bf65cacd39e1ba314d6097b3488355 (patch) | |
tree | 1fda547e535ed78ffebc99f9f34768c99c5af19c /pkgs/applications/editors | |
parent | d0f5b0ccae6dcaa34ef95c8815e040c93349c891 (diff) | |
parent | 038ba602da176442b9a9f3ae6deba86d0f3f3c85 (diff) |
Merge pull request #276985 from trofi/coq-kernel.launcher-no-aliases
coq-kernel.launcher: use `jupyter-core`, not the `jupyter_core` alias
Diffstat (limited to 'pkgs/applications/editors')
-rw-r--r-- | pkgs/applications/editors/jupyter-kernels/coq/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/editors/jupyter-kernels/coq/default.nix b/pkgs/applications/editors/jupyter-kernels/coq/default.nix index 545c4e8ec4e8f..9a2c12152d976 100644 --- a/pkgs/applications/editors/jupyter-kernels/coq/default.nix +++ b/pkgs/applications/editors/jupyter-kernels/coq/default.nix @@ -18,7 +18,7 @@ # nix run --impure --expr 'with import <nixpkgs> {}; jupyter.override { definitions.coq = coq-kernel.definition; }' let - python = python3.withPackages (ps: [ ps.traitlets ps.jupyter_core ps.ipykernel (callPackage ./kernel.nix {}) ]); + python = python3.withPackages (ps: [ ps.traitlets ps.jupyter-core ps.ipykernel (callPackage ./kernel.nix {}) ]); logos = runCommand "coq-logos" { buildInputs = [ imagemagick ]; } '' mkdir -p $out |