Some [positive] was sometimes used for [loc], which is now abstract.

Does this compile with latest Iris then? If yes, can you bump it in the opam file?

It does, but I'll need to adapt examples when the atomic resolution thingy is merged so I can maybe do that then?

I don't understand the naming convention for versions, what is the number between the date and the short commit hash?

Why not bump now if it works now and then bump again? Fine-grained bumps are better anyway. (And if the atomic thing isn't merged today, our next nightly CI run will complain about this.)

I don't understand the naming convention for versions, what is the number between the date and the short commit hash?

It's just a number counting up so that opam sorts the versions correctly.

Just go to https://gitlab.mpi-sws.org/iris/opam/commits/master and copy the latest coq-iris version. :)

added 1 commit

• 5ec0e1f5 - Some [positive] was sometimes used for [loc], which is now abstract.

Compare with previous version

Oh that's how you do it. I see. Here, it's done.

Thanks!

mentioned in commit d4f41539

merged