package coq-mathcomp-algebra

1. rocq-mathcomp-algebra = version

None

1. coq-addition-chains
2. coq-algorand
3. coq-coqeal >= "2.0.0"
4. coq-coqeal-theory
5. coq-fcsl-pcm >= "1.8.0"
6. coq-fourcolor >= "1.2.5"
7. coq-fourcolor-reals
8. coq-gaia
9. coq-gaia-numbers
10. coq-gaia-stern
11. coq-graph-theory >= "0.9.2"
12. coq-hanoi
13. coq-htt >= "1.3.0"
14. coq-htt-core
15. coq-infotheo >= "0.5.1" & != "0.6.1" & != "0.7.5" & != "0.9.2"
16. coq-mathcomp-abel
17. coq-mathcomp-algebra-tactics
18. coq-mathcomp-analysis >= "0.3.13" & < "0.5.0" | >= "0.5.2" & < "0.5.4"
19. coq-mathcomp-apery
20. coq-mathcomp-cad
21. coq-mathcomp-classical < "1.16.0"
22. coq-mathcomp-multinomials >= "1.4" & < "2.5.0"
23. coq-mathcomp-real-closed >= "1.1.3" & < "2.0.6"
24. coq-mathcomp-sum-of-two-square >= "1.0.1"
25. coq-mathcomp-word
26. coq-mathcomp-zify
27. coq-matrix < "1.0.4"
28. coq-monae >= "0.4.5" & < "0.9.2"
29. coq-trocq-std-examples
30. rocq-laproof
31. rocq-robot-rocq

None