package coq-mathcomp-field

1. rocq-mathcomp-field = version

None

1. coq-infotheo >= "0.0.7" & < "0.1.1" | >= "0.5.1" & != "0.6.1" & != "0.7.5" & != "0.9.2"
2. coq-mathcomp-abel
3. coq-mathcomp-analysis >= "0.3.13" & < "0.5.0" | >= "0.5.2" & != "0.5.4" & < "1.16.0"
4. coq-mathcomp-apery
5. coq-mathcomp-cad
6. coq-mathcomp-odd-order = "1.13.0"
7. coq-mathcomp-real-closed >= "1.1.3" & < "2.0.6"
8. coq-mathcomp-sum-of-two-square >= "1.0.1"
9. coq-monae >= "0.4.5" & < "0.9.2"
10. rocq-robot-rocq

None