diff --git a/opam b/opam index deb6f981d14f3262791ca841abddab64de769992..dd09f54875d75116c08db009d85014255235b53e 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") } ]