From 620861ebf144df4e49658a3be807829113cdfb0b Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Tue, 28 Mar 2017 18:32:08 +0100 Subject: [PATCH] v0.9.114.35+03 --- ppx_let.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ppx_let.opam b/ppx_let.opam index f35b65a3d..e878f7e3e 100644 --- a/ppx_let.opam +++ b/ppx_let.opam @@ -3,7 +3,7 @@ maintainer: "opensource@janestreet.com" authors: ["Jane Street Group, LLC "] homepage: "https://github.com/janestreet/ppx_let" bug-reports: "https://github.com/janestreet/ppx_let/issues" -dev-repo: "https://github.com/janestreet/ppx_let.git" +dev-repo: "git+https://github.com/janestreet/ppx_let.git" license: "Apache-2.0" build: [ ["jbuilder" "build" "--only-packages" "ppx_let" "--root" "." "-j" jobs "@install"]