package coq-ssprove

1. coq-mathcomp-word >= "3.3" & < "3.5"
2. coq-mathcomp-experimental-reals >= "1.7.0"
3. coq-mathcomp-analysis >= "1.7.0"
4. coq-mathcomp-analysis >= "1.2.0" & < "1.7.0"
5. coq-mathcomp-ssreflect (>= "2.2.0" & < "2.6~")
6. coq-equations (>= "1.3.1+8.20")
7. coq (>= "8.20" & < "9.2~")

1. coq-deriving (>= "0.2.0" & < "dev")
2. coq-extructures (>= "0.5.0" & < "dev")

None

None