Iris 3.1.0 is compatible with Coq 8.8.1 and coq-mathcomp-ssreflect 1.7.0
The opam
file currently claims otherwise because these versions of Coq and ssreflect didn't exist when it was written. The only changes necessary are to adapt the opam
entries for these two packages by increasing their respective upper bound's minor version by 1. I have tested this locally and have not encountered any issues.