update dependencies

187fd767 · Ralf Jung · be5597b0 · 187fd767
Commit 187fd767 authored 5 years ago by Ralf Jung
--- a/opam
+++ b/opam
@@ -6,5 +6,5 @@ install: [make "install"]
 remove: ["rm" "-rf" "'%{lib}%/coq/user-contrib/iris_ora"]
 depends: [
  "coq" { >= "8.7" }
-  "coq-iris"  { (= "dev.2019-12-02.0.0dff154c") | (= "dev") }
+  "coq-iris"  { (= "dev.2020-03-10.6.79f576aa") | (= "dev") }
 ]