package rocq-mathcomp-ssreflect

1. rocq-mathcomp-order = version
2. rocq-mathcomp-boot = version

None

1. coq-fcsl-pcm >= "2.3.0"
2. coq-mathcomp-ssreflect >= "2.6.0"
3. rocq-mathcomp-classical < "1.17.0"
4. rocq-mathcomp-finmap >= "2.2.4"
5. rocq-mathcomp-multinomials
6. rocq-mathcomp-real-closed
7. rocq-monae
8. rocq-partial-orders
9. rocq-rouche-capelli >= "0.2.0"

None