coq-kernel 1.6.0 unmaintained
- Name
coq-kernel-launcher- Package set
- top-level
- Source
- pkgs/by-name/co/coq-kernel/package.nix:54
- Derivation
/nix/store/3rg6srv7nwnqzwgq2izh4ik8wkc6sj8x-coq-kernel-launcher.drv- Repology
- not reported as outdated · look up (as of 2026-10-08T00:43:59Z)
Maintainers 0
This package has no maintainers.
Dependencies 4
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| makeWrapper 26.05pre-git | nativeBuildInputs | 76,592 | unmaintained setup hook | |
| bashNonInteractive 5.3p15 | other input | 102,175 | maintained outdated | |
| coq 9.1.1 | other input | 85 | maintained | |
| stdenvNoCC 26.05pre-git | other input | 93,690 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.