Prepare for https://github.com/coq/coq/pull/19059

Prepare for next version number bump in Coq.

Could you please encode the test in the other direction to avoid having to do that kind of PR again for next Coq version (no hurry, this can be done in the next six months).

@jung @robbertkrebbers we need this trivial one to be merged (and refs in iris{,examples} updated) before the branch for Coq 8.20 (i.e. before June 16th)

Apologies, there was a problem with Gitlab notifications.

This looks fine to me. @jung since you wrote this script, can you check and merge?

mentioned in commit d6ba38c3

merged

Sorry for the delay.

I've bumped Iris and examples as well.

Thanks!