Closed dra27 closed 2 years ago
Older versions of github can be co-installed with github-data, but they are not co-linkable, which can result in confusing opam switches.
cf. https://github.com/ocaml/opam-repository/pull/20548
You'll need to use a github-data.opam.template to introduce the conflicts option, we're using generated opam files and this change will get overwritten.
github-data.opam.template
Older versions of github can be co-installed with github-data, but they are not co-linkable, which can result in confusing opam switches.
cf. https://github.com/ocaml/opam-repository/pull/20548