package coq-mathcomp-ssreflect

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

None

1. coq-actuary >= "2.5"
2. coq-addition-chains >= "0.9"
3. coq-algorand >= "1.4"
4. coq-coqeal-theory
5. coq-coquelicot >= "3.4.0"
6. coq-deriving < "0.2.0"
7. coq-dijkstra
8. coq-disel >= "2.3"
9. coq-disel-examples >= "2.3"
10. coq-extructures = "0.3.1"
11. coq-fcsl-pcm = "1.8.0"
12. coq-formalv-check_range = "1.2.0"
13. coq-formalv-prim63_mathcomp = "1.2.0"
14. coq-formalv-time = "1.2.0"
15. coq-fourcolor = "1.2.5"
16. coq-gaia-numbers >= "1.15" & < "2.0"
17. coq-gaia-ordinals >= "1.15" & < "2.0"
18. coq-gaia-schutte >= "1.15" & < "2.0"
19. coq-gaia-stern >= "1.15" & < "2.0"
20. coq-gaia-theory-of-sets >= "1.15" & < "2.0"
21. coq-graph-theory = "0.9.2"
22. coq-graph-theory-planar < "0.9.3"
23. coq-hanoi
24. coq-htt = "1.3.0"
25. coq-infotheo >= "0.5.1" & < "0.7.0"
26. coq-interval
27. coq-mathcomp-algebra-tactics >= "1.0.0" & < "1.2.0"
28. coq-mathcomp-apery >= "1.0.2"
29. coq-mathcomp-bigenough < "1.0.4"
30. coq-mathcomp-classical >= "0.6.2" & < "1.0.0"
31. coq-mathcomp-fingroup = "1.17.0"
32. coq-mathcomp-finmap = "1.5.2"
33. coq-mathcomp-multinomials = "1.6.0"
34. coq-mathcomp-real-closed = "1.1.4"
35. coq-mathcomp-reals = "1.10.0"
36. coq-mathcomp-tarjan = "1.0.1"
37. coq-mathcomp-word >= "2.1" & < "3.0"
38. coq-mathcomp-zify = "1.3.0+1.12+8.13"
39. coq-monae >= "0.4.5" & < "0.7.0"
40. coq-msets-extra
41. coq-num-analysis
42. coq-plouffe >= "1.2.0"
43. coq-quickchick >= "1.1.0"
44. coq-regexp-brzozowski = "1.1"
45. coq-reglang = "1.1.3"
46. coq-trocq-hott-examples
47. coq-type-infer
48. coq-vellvm
49. coq-wasm < "2.0.3"
50. rocq-mathcomp-bigenough
51. rocq-vellvm < "v3.0.20260707"

None