Iris 3.1.0 is compatible with Coq 8.8.1 and coq-mathcomp-ssreflect 1.7.0
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.