From 40a078a202ebe7485f6bd368754cc8df56953fdc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Mon, 21 Nov 2016 09:52:04 +0100 Subject: [PATCH] Update `tezos-deps.opam` to irmin.0.12.0 --- src/tezos-deps.opam | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/tezos-deps.opam b/src/tezos-deps.opam index 8f1494c51..810ce4076 100644 --- a/src/tezos-deps.opam +++ b/src/tezos-deps.opam @@ -8,9 +8,9 @@ authors: [ "Pierre Chambart " "Grégoire Henry " ] -dev-repo: "https://gitlab.ocamlpro.com/tezos/tezos.git" -homepage: "https://gitlab.ocamlpro.com/tezos/tezos" -bug-reports: "https://gitlab.ocamlpro.com/tezos/tezos/issues" +dev-repo: "https://github.com/tezos/tezos.git" +homepage: "https://gihub.com/tezos/tezos" +bug-reports: "https://github.com/tezos/tezos/issues" depends: [ "ocamlfind" {build} "base-bigarray" @@ -21,7 +21,8 @@ depends: [ "cryptokit" "git" "git-unix" - "irmin" {>= "0.11"} + "irmin-watcher" (* for `irmin.unix` *) + "irmin" {>= "0.12"} "menhir" "ocp-ocamlres" {>= "dev"} "ocplib-endian"