This is needed because Coq's CI gets Iris version from this project's opam file.
Coq CI shouldn't build this project? I thought they are only building iris/examples?
That version number won't work, I'll quickly do the update myself. (I have a script for that.)
Fixed by b34e97cf.
closed
