balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update tezos-deps.opam to irmin.0.12.0

Browse Source
This commit is contained in:
Grégoire Henry 2016-11-21 09:52:04 +01:00
parent 39ea223e5b
commit 40a078a202
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/tezos-deps.opam
View File

@ -8,9 +8,9 @@ authors: [
"Pierre Chambart <pierre@ocamlpro.com>"
"Grégoire Henry <gregoire@ocamlpro.com>"
]
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"