package coq-mathcomp-ssreflect

1. coq-hierarchy-builder >= "1.7.0"
2. elpi >= "1.17.0"
3. coq >= "8.18" & < "9.1~"

None

1. coq-comp-dec-modal >= "1.2"
2. coq-coqeal >= "2.0.0" & != "2.0.2"
3. coq-coqeal-theory
4. coq-coquelicot >= "2.1.1" & < "3.1.0" | >= "3.3.1"
5. coq-deriving >= "0.2.1"
6. coq-dijkstra
7. coq-disel-examples >= "2.3"
8. coq-extructures >= "0.4.0"
9. coq-fcsl-pcm >= "2.0.0" & < "2.2.0"
10. coq-formalv-check_range >= "1.3.0"
11. coq-formalv-prim63_mathcomp >= "1.3.0"
12. coq-formalv-time >= "1.3.0"
13. coq-fourcolor >= "1.4.0" & < "1.4.2"
14. coq-fourcolor-reals < "1.4.2"
15. coq-gaia-numbers >= "2.0"
16. coq-gaia-ordinals >= "2.0"
17. coq-gaia-schutte >= "2.0"
18. coq-gaia-stern >= "2.0"
19. coq-gaia-theory-of-sets >= "2.0"
20. coq-graph-theory >= "0.9.6"
21. coq-graph-theory-planar >= "0.9.6"
22. coq-hanoi
23. coq-htt >= "2.0.1" & < "2.2.1"
24. coq-htt-core >= "2.0.1" & < "2.2.1"
25. coq-infotheo >= "0.7.0" & != "0.7.5" & < "0.9.5"
26. coq-interval < "4.5.2" | >= "4.8.0"
27. coq-mathcomp-algebra-tactics >= "1.2.3" & < "1.2.5"
28. coq-mathcomp-bigenough < "1.0.4"
29. coq-mathcomp-classical >= "1.8.0" & < "1.14.0"
30. coq-mathcomp-fingroup = "2.3.0"
31. coq-mathcomp-finmap >= "2.1.0" & < "2.2.1"
32. coq-mathcomp-multinomials >= "2.3.0"
33. coq-mathcomp-real-closed = "2.0.0" | >= "2.0.2"
34. coq-mathcomp-reals = "1.10.0"
35. coq-mathcomp-tarjan >= "1.0.2"
36. coq-mathcomp-word >= "3.2"
37. coq-mathcomp-zify >= "1.5.0+2.0+8.16"
38. coq-monae >= "0.7.0" & < "0.9.2"
39. coq-msets-extra
40. coq-num-analysis
41. coq-plouffe >= "1.2.0"
42. coq-quickchick >= "1.1.0"
43. coq-regexp-brzozowski >= "1.2"
44. coq-reglang >= "1.2.1"
45. coq-ssprove >= "0.2.3"
46. coq-trocq-hott-examples
47. coq-type-infer
48. coq-vellvm
49. rocq-mathcomp-bigenough
50. rocq-mathcomp-finmap
51. rocq-num-analysis-subset
52. rocq-vellvm

None