package coq-mathcomp-ssreflect

1. coq (>= "8.10" & < "8.15~")

None

1. coq-actuary < "2.5"
2. coq-addition-chains
3. coq-comp-dec-modal < "1.2"
4. coq-coqeal-theory
5. coq-coquelicot >= "2.1.1"
6. coq-deriving < "0.2.0"
7. coq-dijkstra
8. coq-extructures >= "0.2.2" & < "0.4.0"
9. coq-fcsl-pcm = "1.4.0"
10. coq-formalv-check_range < "1.1.0"
11. coq-formalv-prim63_mathcomp < "1.1.0"
12. coq-formalv-time < "1.1.0"
13. coq-fourcolor = "1.2.5"
14. coq-gaia >= "1.12"
15. coq-gaia-hydras
16. coq-gaia-numbers < "2.0"
17. coq-gaia-ordinals < "2.0"
18. coq-gaia-schutte < "2.0"
19. coq-gaia-stern < "2.0"
20. coq-gaia-theory-of-sets < "2.0"
21. coq-hanoi
22. coq-infotheo >= "0.2.2" & < "0.3.4"
23. coq-interval
24. coq-linearscan
25. coq-mathcomp-abel
26. coq-mathcomp-algebra-tactics < "1.1.0"
27. coq-mathcomp-analysis >= "0.3.5" & < "0.4.0"
28. coq-mathcomp-apery
29. coq-mathcomp-bigenough < "1.0.4"
30. coq-mathcomp-dioid
31. coq-mathcomp-fingroup = "1.12.0"
32. coq-mathcomp-finmap >= "1.5.1" & < "2.0.0"
33. coq-mathcomp-multinomials >= "1.5.3" & < "1.5.6"
34. coq-mathcomp-odd-order >= "1.12.0" & < "1.14.0"
35. coq-mathcomp-real-closed >= "1.1.2" & < "1.1.4"
36. coq-mathcomp-reals = "1.10.0"
37. coq-mathcomp-tarjan < "1.0.2"
38. coq-mathcomp-word < "3.0"
39. coq-mathcomp-zify < "1.4.0+2.0+8.16"
40. coq-monae >= "0.2.2" & < "0.4"
41. coq-msets-extra
42. coq-plouffe >= "1.2.0"
43. coq-prosa >= "0.5"
44. coq-quickchick >= "1.1.0"
45. coq-regexp-brzozowski < "1.1"
46. coq-reglang >= "1.1.2" & < "1.2.0"
47. coq-robot
48. coq-trocq-hott-examples
49. coq-type-infer
50. coq-vellvm
51. coq-wasm >= "2.0.1" & < "2.0.3"
52. rocq-mathcomp-bigenough
53. rocq-vellvm < "v3.0.20260707"

None