package coq-ssprove

1. coq-mathcomp-word >= "3.2" & < "3.3"
2. coq-mathcomp-experimental-reals >= "1.7.0"
3. coq-mathcomp-analysis >= "1.7.0"
4. coq-mathcomp-analysis >= "1.0.0" & < "1.7.0"
5. coq-mathcomp-ssreflect (>= "2.1.0" & < "2.5~")
6. coq-equations (>= "1.3+8.18")
7. coq (>= "8.18" & < "9.1~")

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

None

None