Skip to content

Bump version of stdpp

Pierre Rousselin requested to merge Villetaneuse/iris:bump_stdpp into master

This is necessary for https://github.com/coq/coq/pull/18164 (Remove some deprecated Arith files, some very small change in stdpp needs to be done)

I'm not an opam expert so I'm not sure it's what needs to be done. Also, to be honest, I would prefer if iris just targeted the dev version of stdpp instead of a commit.

Merge request reports