Bump Iris.

1 job for ci/weak_mem in 19 minutes and 7 seconds
Status Job ID Name Coverage
  Build
failed #48126
fp
build-iris.dev

00:19:07

 
Name Stage Failure
failed
build-iris.dev Build
| - recompile coq-orc11                dev
| - recompile coq-stdpp dev
+-

The former state can be restored with:
opam switch import "/builds/iris/lambda-rust/opamroot/ocaml-base-compiler.4.07.0/.opam-switch/backup/state-20191121032052.export"
Or you can retry to install your package selection with:
opam install --restore
ERROR: Job failed: exit code 1