colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #276985 from trofi/coq-kernel.launcher-no-aliases

Browse Source 
coq-kernel.launcher: use `jupyter-core`, not the `jupyter_core` alias
This commit is contained in:
Nick Cao 2023-12-27 10:42:46 -05:00 committed by GitHub
commit 8ad983b396
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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