package coq-hierarchy-builder

1. rocq-hierarchy-builder = version
2. coq-core

None

1. coq-comp-dec-modal >= "1.2"
2. coq-coqeal >= "2.0.0"
3. coq-fcsl-pcm >= "2.2.0"
4. coq-fourcolor = "1.4.0"
5. coq-graph-theory >= "0.9"
6. coq-htt >= "2.2.1"
7. coq-htt-core >= "2.2.1"
8. coq-infotheo >= "0.4.0" & != "0.6.0" & != "0.7.6" & != "0.9.3"
9. coq-mathcomp-analysis >= "0.3.7" & < "0.4.0" | >= "0.5.3" & < "0.6.0"
10. coq-mathcomp-cad
11. coq-mathcomp-classical < "1.16.0"
12. coq-mathcomp-ssreflect >= "2.1.0" & < "2.4.0"
13. coq-mathcomp-tarjan >= "1.0.2"
14. coq-monae >= "0.4" & < "0.5" | >= "0.7.0" & < "0.9.2"
15. coq-reglang >= "1.2.0"
16. rocq-robot-rocq

None