package coq-mathcomp-fingroup

1. rocq-mathcomp-fingroup = version
2. coq-core

None

1. coq-htt >= "1.2.0"
2. coq-htt-core >= "2.0.1"
3. coq-infotheo >= "0.5.1" & != "0.6.1" & != "0.7.5" & != "0.9.2"
4. coq-mathcomp-abel
5. coq-mathcomp-analysis >= "0.3.13" & < "0.5.0" | >= "0.5.2" & < "0.5.4"
6. coq-mathcomp-cad
7. coq-mathcomp-classical
8. coq-mathcomp-odd-order = "1.13.0"
9. coq-mathcomp-tarjan
10. coq-monae >= "0.4.5"

None