Maintainer Mode
Sign in with GitHub

coq-kernel

coq-jupyter 1.6.0 · pkgs/by-name/co/coq-kernel/package.nix
Sign in to subscribe
Health
Risk
risk 9 low
  • +6 no maintainer
  • +3 no meta.description, no meta.homepage, no meta.license, no meta.mainProgram, no versionCheckHook
Version
1.6.0 no newer release known to repology
Channels
master 1.6.0 · nixos-unstable 1.6.0 · nixos-26.05 1.6.0 no channel is behind master
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no meta.description no meta.homepage no meta.license no meta.mainProgram no versionCheckHook
Packagewhat each field means
Description
none
Homepage
none
License
none
Platforms
not set
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/co/coq-kernel/package.nix:56
Maintainers
none
Version bumps 0all open bumps
None open.
Pull requests 2
coq-kernel: add license to wrapper
#562117 by GraysonTinker · opened 5w ago
chore: change deprecated `convert` and `magick convert` invocations to just `magick`
#522846 by av-gal · opened 4mo ago · checks pass
Closed or merged in the synced window 3
various: OCaml multiple outputs
#567406 by georgyo · merged 2d ago
ocamlPackages.buildDunePackage: split dev output by default draft
#567354 by georgyo · closed 2w ago
coqPackages: add deprecation warnings for aliases
#556669 by Zimmi48 · merged 3d ago
Issues 0
None open.