Flakes
Categories
Options
Packages
Sign in
MyNixOS
nixpkgs
packages
coq-kernel
package
coq-kernel-launcher
Description
No description available.
Metadata
Install
License
Unknown
Status
Broken
No
Insecure
No
Unfree
No
Unsupported
No
Source
pkgs/applications/editors/jupyter-kernels/coq/default.nix:54