From 9a44a2d9a4c5d86cae66d953833183531af2e487 Mon Sep 17 00:00:00 2001
From: Jonas <jihgfee@gmail.com>
Date: Wed, 27 Nov 2019 17:53:15 -0500
Subject: [PATCH] Updated dependency commit hashes

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index b755561..cbabc3a 100644
--- a/README.md
+++ b/README.md
@@ -7,9 +7,9 @@ It has been built and tested with the following dependencies
 
  - Coq 8.10
  - [std++](https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp) at
-   commit 9041e6d8.
+   commit 37e95a04.
  - [iris](https://gitlab.mpi-sws.org/iris/iris) at
-   commit 1f83451a.
+   commit d1787db2.
 
 In order to build, install the above dependencies and then run
 `make -j [num CPU cores]` to compile Actris.
-- 
GitLab