update dependencies

2aa0b58c · Ralf Jung · bd126535 · 2aa0b58c
Commit 2aa0b58c authored 5 years ago by Ralf Jung
--- a/opam
+++ b/opam
@@ -9,7 +9,7 @@ dev-repo: "git+https://gitlab.mpi-sws.org/FP/iris-examples.git"
 synopsis: "A collection of case studies for Iris"

 depends: [
-  "coq-iris" { (= "dev.2020-02-23.0.40c0674a") | (= "dev") }
+  "coq-iris" { (= "dev.2020-03-10.6.79f576aa") | (= "dev") }
  "coq-autosubst" { = "dev.coq86" }
 ]