Use a topkg friendly dev-repo url

This commit is contained in:
Jeremie Dimino 2017-05-19 15:40:43 +01:00
parent 9dcb627aee
commit e89ab73e4d
1 changed files with 1 additions and 1 deletions

View File

@ -3,7 +3,7 @@ maintainer: "opensource@janestreet.com"
authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
homepage: "https://github.com/janestreet/jbuilder"
bug-reports: "https://github.com/janestreet/jbuilder/issues"
dev-repo: "git+https://github.com/janestreet/jbuilder.git"
dev-repo: "https://github.com/janestreet/jbuilder.git"
license: "Apache-2.0"
build: [
["ocaml" "bootstrap.ml"]