From 027da56fa162e98a47e4b8d0047551b725cf04e1 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Fri, 17 Feb 2017 12:09:10 +0000 Subject: [PATCH] . --- Posts/Conex | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/Posts/Conex b/Posts/Conex index 30251b2..b6e0689 100644 --- a/Posts/Conex +++ b/Posts/Conex @@ -126,10 +126,13 @@ Each resource can be approved in multiple versions at the same time. ### Installation +TODO: remove clone once [PR 8494](https://github.com/ocaml/opam-repository/pull/8494) is merged. +TODO: remove pin once [PR 8493](https://github.com/ocaml/opam-repository/pull/8493) is merged. + ```bash -$ git clone -b auth https://github.com/hannesm/opam-repository.git repo //TODO: remove once [PR 8494](https://github.com/ocaml/opam-repository/pull/8494) is merged +$ git clone -b auth https://github.com/hannesm/opam-repository.git repo $ opam pin add opam-file-format --dev-repo -$ opam pin add conex https://github.com/hannesm/conex.git //TODO: remove once [PR 8493](https://github.com/ocaml/opam-repository/pull/8493) is merged +$ opam pin add conex https://github.com/hannesm/conex.git $ opam install conex $ cd repo ```