coqPackages.hierarchy-builder 1.10.3 maintained
High level commands to declare a hierarchy based on packed classes
- Name
rocq9.1-hierarchy-builder-1.10.3- Package set
- coqPackages
- Homepage
- https://github.com/math-comp/hierarchy-builder
- License
- MIT
- Source
- pkgs/development/rocq-modules/hierarchy-builder/default.nix:56
- Derivation
/nix/store/gjbhb19al5fz27g27jfkg001cnkk6pk0-rocq9.1-hierarchy-builder-1.10.3.drv- Repology
- not reported as outdated · look up (as of 2026-10-09T00:52:30Z)
- Also available as
rocqPackages.hierarchy-builder
Maintainers 2
| Handle | Name | Contact | Via |
|---|---|---|---|
| CohenCyril | Cyril Cohen | GitHub · cyril.cohen@inria.fr | listed on package |
| siraben | Siraphob Phipathananunth | GitHub · bensiraphob@gmail.com · @siraben:matrix.org | listed on package |
Dependencies 5
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| coqPackages.coq-elpi 3.5.0 | propagatedBuildInputs | 46 | single | |
| rocq-core 9.1.1 | buildInputs | 107 | maintained | |
| which 2.25 | nativeBuildInputs | 69,145 | single | |
| bashNonInteractive 5.3p15 | other input | 102,198 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,086 | team-only |
Used by 15 directly, 45 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| coqPackages.mathcomp-boot 2.5.0 | propagatedBuildInputs | 44 | maintained | |
| coqPackages.mathcomp-order 2.5.0 | propagatedBuildInputs | 32 | maintained | |
| coqPackages.mathcomp-fingroup 2.5.0 | propagatedBuildInputs | 29 | maintained | |
| coqPackages.mathcomp-algebra 2.5.0 | propagatedBuildInputs | 26 | maintained | |
| coqPackages.mathcomp-solvable 2.5.0 | propagatedBuildInputs | 13 | maintained | |
| coqPackages.mathcomp-field 2.5.0 | propagatedBuildInputs | 12 | maintained | |
| coqPackages.ssreflect 2.5.0 | propagatedBuildInputs | 10 | maintained | |
| coqPackages.mathcomp-classical 1.16.0 | propagatedBuildInputs | 9 | single | |
| coqPackages.mathcomp-reals 1.16.0 | propagatedBuildInputs | 8 | single | |
| coqPackages.mathcomp-analysis 1.16.0 | propagatedBuildInputs | 4 | single | |
| coqPackages.mathcomp-reals-stdlib 1.16.0 | propagatedBuildInputs | 4 | single | |
| coqPackages.mathcomp-character 2.5.0 | propagatedBuildInputs | 2 | maintained | |
| coqPackages.mathcomp-analysis-stdlib 1.16.0 | propagatedBuildInputs | 1 | single | |
| coqPackages.mathcomp-experimental-reals 1.16.0 | propagatedBuildInputs | 1 | single | |
| coqPackages.mathcomp 2.5.0 | propagatedBuildInputs | 0 | maintained |