1 files changed, 1 insertions, 1 deletions
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"]