Merge pull request #3431 from proux01/mcbootorder

...dev/packages/coq-mathcomp-boot/coq-mathcomp-boot.dev/opam

...v/packages/coq-mathcomp-order/coq-mathcomp-order.dev/opam

...ages/rocq-mathcomp-algebra/rocq-mathcomp-algebra.dev/opam

...v/packages/rocq-mathcomp-boot/rocq-mathcomp-boot.dev/opam

...packages/rocq-mathcomp-order/rocq-mathcomp-order.dev/opam

.../rocq-mathcomp-ssreflect/rocq-mathcomp-ssreflect.dev/opam