As discussed at the Iris workshop, we are aligning our policy with that of Coq itself.
mentioned in commit d337eec6
merged
@iris-users as discussed at the Iris Workshop, the Coq version support policy for both std++ and Iris is now
Generally we always aim to support the last two stable Coq releases. Support for older versions will be dropped when it is convenient.
