package coq-mathcomp-real-closed

1. rocq-mathcomp-real-closed = version

None

1. coq-coqeal >= "2.0.0"
2. coq-mathcomp-abel
3. coq-mathcomp-apery
4. coq-mathcomp-cad
5. coq-robot
6. rocq-robot-rocq < "0.3.3"

None