Right now, codoc is not in https://opam.ocaml.org/packages/ (nor today's opam list -a). I do not see how the installation instructions in the README can go through (opam install codoc fails, because there is no such package available).
IIRC, one used to have to add another opam repository, but I cannot find these instructions anymore. Should I explicitly pin the package, as older instructions recommended?
The extra repository is at https://github.com/ocaml/platform-dev. It still contains codoc (the former version), but not newer packages such as octavius.
Right now,
codoc
is not inhttps://opam.ocaml.org/packages/
(nor today'sopam list -a
). I do not see how the installation instructions in the README can go through (opam install codoc
fails, because there is no such package available).IIRC, one used to have to add another opam repository, but I cannot find these instructions anymore. Should I explicitly pin the package, as older instructions recommended?