From 527f0f231ba30bcbdac16384bdfb4530eaf3c2a1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9on=20Gondelman?= <leon.gondelman@gmail.com>
Date: Sun, 24 Feb 2019 12:27:08 +0100
Subject: [PATCH] fix opam file

---
 opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/opam b/opam
index a39b213..46c3569 100644
--- a/opam
+++ b/opam
@@ -8,5 +8,5 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 remove: ["rm" "-rf" "%{lib}%/coq/user-contrib/iris-c-monad"]
 depends: [
-  "coq-iris" { (= "dev.2019-01-26.0.b036013f") | (= "dev") }
+  "coq-iris" { (= "dev.2019-02-03.0.5fd7dae1") | (= "dev") }
 ]
-- 
GitLab