From 2a6e5eca7b28c5069e402a34ec36b7a6e18b274e Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 11 May 2018 16:06:55 +0100
Subject: add .git to dev-repo in opam file to satisfy opam-publish.

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

diff --git a/opam b/opam
index 9eadca20..3e3c93a9 100644
--- a/opam
+++ b/opam
@@ -17,7 +17,7 @@ authors: [
 homepage: "http://www.cl.cam.ac.uk/~pes20/sail/"
 bug-reports: "https://github.com/rems-project/sail/issues"
 license: "BSD3"
-dev-repo: "https://github.com/rems-project/sail"
+dev-repo: "https://github.com/rems-project/sail.git"
 build: [make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{sail:share}%" "isail"]
 install: [make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{sail:share}%" "install"]
 remove: [make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{sail:share}%" "uninstall"]
-- 
cgit v1.2.3