nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-26 00:43:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

coq-kernel.launcher: use jupyter-core, not the jupyter_core alias

Browse Source 
Noticed when explored harder to reach attributes with aliases disabled.
This commit is contained in:
Sergei Trofimovich 2023-12-26 22:31:56 +00:00
parent df04894406
commit 038ba602da
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/applications/editors/jupyter-kernels/coq/default.nix
View File

@ -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