From 846abf49a0f3dc295641952bdd45bfe98d89d661 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 24 Nov 2016 23:16:19 +0100
Subject: [PATCH] compat with older opam versions
---
opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/opam b/opam
index 0f5f6621..57ec4af8 100644
--- a/opam
+++ b/opam
@@ -6,7 +6,7 @@ authors: "The RustBelt Team"
homepage: "http://plv.mpi-sws.org/rustbelt/"
bug-reports: "https://gitlab.mpi-sws.org/FP/lambdaRust-coq/issues"
license: "BSD"
-dev-repo: "https://gitlab.mpi-sws.org/FP/lambdaRust-coq"
+dev-repo: "https://gitlab.mpi-sws.org/FP/lambdaRust-coq.git"
build: [
[make "-j%{jobs}%"]
]
--
GitLab