From a0e013f5907c6bdde68e694c69d82ebcedc50f8c Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 24 Nov 2016 23:00:18 +0100
Subject: [PATCH] compat with older opam
---
opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/opam b/opam
index 276bc8ec5..e8d2bee54 100644
--- a/opam
+++ b/opam
@@ -6,7 +6,7 @@ authors: "The Iris Team"
homepage: "http://iris-project.org/"
bug-reports: "https://gitlab.mpi-sws.org/FP/iris-coq/issues"
license: "BSD"
-dev-repo: "https://gitlab.mpi-sws.org/FP/iris-coq"
+dev-repo: "https://gitlab.mpi-sws.org/FP/iris-coq.git"
build: [
[make "-j%{jobs}%"]
]
--
GitLab