tests.coq.overrideCoqDerivation 0.1 single
- Name
coq-overrideCoqDerivation-test-0.1- Package set
- tests
- Source
- pkgs/build-support/trivial-builders/default.nix:87
- Derivation
/nix/store/64a1f8h4wam4bp7ixzwpv44g4v03b0py-coq-overrideCoqDerivation-test-0.1.drv- Repology
- not reported as outdated · look up (as of 2026-10-09T00:52:30Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| cdepillabout | Dennis Gosnell | GitHub · cdep.illabout@gmail.com · @cdepillabout:matrix.org | listed on package |
Dependencies 2
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| bashNonInteractive 5.3p15 | other input | 102,198 | maintained outdated | |
| stdenvNoCC 26.05pre-git | other input | 93,715 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.