package coq-mathcomp-ssreflect

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

None

1. coq-comp-dec-modal >= "1.2"
2. coq-coqeal >= "2.0.0" & < "2.0.2" | >= "2.1.2"
3. coq-coqeal-theory
4. coq-coquelicot >= "2.1.1" & < "3.1.0" | >= "3.3.1" & < "3.4.1" | >= "3.4.4"
5. coq-deriving >= "0.2.2"
6. coq-dijkstra
7. coq-disel-examples >= "2.3"
8. coq-gaia-numbers >= "2.0"
9. coq-gaia-ordinals = "2.0" | >= "2.4"
10. coq-gaia-schutte >= "2.0"
11. coq-gaia-stern >= "2.0"
12. coq-gaia-theory-of-sets >= "2.0"
13. coq-hanoi
14. coq-infotheo >= "0.7.0" & != "0.7.5" & < "0.9.2" | >= "0.9.7"
15. coq-interval < "4.5.2" | >= "4.8.0"
16. coq-mathcomp-bigenough != "1.0.2" & < "1.0.4"
17. coq-mathcomp-real-closed = "2.0.0"
18. coq-mathcomp-tarjan >= "1.0.5"
19. coq-monae >= "0.7.0" & < "0.9.2"
20. coq-msets-extra
21. coq-num-analysis
22. coq-plouffe >= "1.2.0"
23. coq-quickchick >= "2.1.1"
24. coq-regexp-brzozowski >= "1.2"
25. coq-trocq-hott-examples
26. coq-type-infer
27. coq-vellvm
28. rocq-laproof
29. rocq-robot-rocq
30. rocq-vellvm < "v3.0.20260707"

None