From f4060bb579ff98f5891846683b92f8f76f576aaa Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 15 Oct 2020 19:50:49 +0200
Subject: [PATCH] update dependencies
---
coq-iris.opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/coq-iris.opam b/coq-iris.opam
index 87e22af29..6165456d4 100644
--- a/coq-iris.opam
+++ b/coq-iris.opam
@@ -10,7 +10,7 @@ synopsis: "Iris is a Higher-Order Concurrent Separation Logic Framework with sup
depends: [
"coq" { (>= "8.10.2" & < "8.13~") | (= "dev") }
- "coq-stdpp" { (= "dev.2020-10-02.0.7ae77142") | (= "dev") }
+ "coq-stdpp" { (= "dev.2020-10-15.0.c6e5d0be") | (= "dev") }
]
build: [make "-j%{jobs}%"]
--
GitLab