diff --git a/Posts/Conex b/Posts/Conex index 5c6ffa2..8f8e4c6 100644 --- a/Posts/Conex +++ b/Posts/Conex @@ -127,11 +127,9 @@ 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 -$ opam pin add conex https://github.com/hannesm/conex.git $ opam install conex $ cd repo ```