From 99354dde76a48f2ccb8d9a186cae728071f03280 Mon Sep 17 00:00:00 2001 From: Vasilis Papavasileiou Date: Thu, 18 Feb 2016 19:24:06 +0100 Subject: [PATCH] Fix dev-repo URL in OPAM file --- opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/opam b/opam index e37517f..0c99948 100644 --- a/opam +++ b/opam @@ -3,7 +3,7 @@ author: "gabriel.scherer@gmail.com" maintainer: "gabriel.scherer@gmail.com" homepage: "https://github.com/ocsigen/macaque" bug-reports: "https://github.com/ocsigen/macaque/issues" -dev-repo: "https://github.com/ocsigen/macaque" +dev-repo: "https://github.com/ocsigen/macaque.git" version: "dev" build: [ ["./configure" "--prefix" prefix]