package coq-mathcomp-zify

1. rocq-mathcomp-zify = version

None

1. coq-algorand >= "1.4"
2. coq-gaia-hydras
3. coq-mathcomp-algebra-tactics
4. coq-mathcomp-apery >= "1.0.2"
5. coq-prosa >= "0.5"
6. rocq-prosa

None