diff --git a/opam b/opam index cd5d455..48f47db 100644 --- a/opam +++ b/opam @@ -1,6 +1,7 @@ opam-version: "1.2" maintainer: "Reynir Björnsson " authors: "Reynir Björnsson " +dev-repo: "https://git.data.coop/reynir/reynir.opam.git" depends: [ "user-setup" "merlin"