From ad1bfffc9ac2fe31a2a8f51659d6f9620dd62d18 Mon Sep 17 00:00:00 2001
From: Hai Dang <dhhai.uns@gmail.com>
Date: Wed, 28 Jun 2017 21:27:11 +0200
Subject: [PATCH] bump iris

---
 opam      | 2 +-
 opam.pins | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/opam b/opam
index a5a5943b..aa657d52 100644
--- a/opam
+++ b/opam
@@ -3,7 +3,7 @@ name: "coq-gps"
 version: "dev"
 maintainer: "Jan-Oliver Kaiser, Hoang-Hai Dang"
 authors: "Jan-Oliver Kaiser, Hoang-Hai Dang"
-# homepage: "?"
+homepage: "http://plv.mpi-sws.org/igps/"
 bug-reports: "https://gitlab.mpi-sws.org/FP/sra-gps/issues"
 dev-repo: "https://gitlab.mpi-sws.org/FP/sra-gps.git"
 build: [
diff --git a/opam.pins b/opam.pins
index e69de29b..37b24384 100644
--- a/opam.pins
+++ b/opam.pins
@@ -0,0 +1 @@
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq bfe7dd4c44d609088acadf40e1be500f76388a73
\ No newline at end of file
-- 
GitLab