nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-03 20:33:21 +00:00
Code Issues Packages Projects Releases Wiki Activity
c2f4e2ddeb
nixpkgs/pkgs/applications/editors/jupyter-kernels/coq
History
Sergei Trofimovich 038ba602da coq-kernel.launcher: use jupyter-core, not the jupyter_core alias 
Noticed when explored harder to reach attributes with aliases disabled.
2023-12-26 22:32:57 +00:00
..
default.nix
kernel.nix