From d0743f7eb7b28497f12deca52eb9879ce89b863f Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 23 Nov 2016 23:14:08 +0100
Subject: [PATCH] opam: rename to coq-iris

---
 opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/opam b/opam
index 8f43a701d..276bc8ec5 100644
--- a/opam
+++ b/opam
@@ -1,5 +1,5 @@
 opam-version: "1.2"
-name: "iris"
+name: "coq-iris"
 version: "dev"
 maintainer: "Ralf Jung <jung@mpi-sws.org>"
 authors: "The Iris Team"
-- 
GitLab