From 8fda5e97a27980dccbf40ca449b50348c008021c Mon Sep 17 00:00:00 2001 From: Hoang-Hai Dang Date: Mon, 4 Mar 2019 11:19:27 +0100 Subject: [PATCH] bump iris --- opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/opam b/opam index deb6f98..dd09f54 100644 --- a/opam +++ b/opam @@ -9,5 +9,5 @@ build: [make "-j%{jobs}%"] install: [] # This repo does not install remove: [] depends: [ - "coq-iris" { (= "dev.2019-02-20.0.8a8c1405") | (= "dev") } + "coq-iris" { (= "dev.2019-03-04.1.a848ac3b") | (= "dev") } ] -- GitLab