From 12e6be00abe2d97eb0af418845d63384cbffbbd2 Mon Sep 17 00:00:00 2001
From: Simon Gregersen <gregersen@cs.au.dk>
Date: Thu, 16 Jul 2020 11:19:59 +0200
Subject: [PATCH] bump iris version
---
opam | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/opam b/opam
index 1277af3..16654ae 100644
--- a/opam
+++ b/opam
@@ -10,7 +10,7 @@ build: [make "-j%{jobs}%"]
install: [make "install"]
depends: [
"coq" { (= "8.11.2") | (= "dev") }
- "coq-iris" { (= "dev.2020-07-04.0.e2639ac1") | (= "dev") }
- "coq-stdpp" { (= "dev.2020-07-02.1.c8129a37") | (= "dev") }
+ "coq-iris" { (= "3.3.0") | (= "dev") }
+ "coq-stdpp" { (= "1.4.0") | (= "dev") }
"coq-iris-string-ident" { (= "dev") | (= "dev") }
]
--
GitLab