Skip to content

add more strict constraints to opam_repo to ease dependency resolution

pietro requested to merge nomadic-labs/tezos:abate@cudf-deps into master

When running the script opam_repo,tezos packages can be selected from the tezos releases on the default opam repository on gitlab, and from the local dev packages.

This MR constraints the dependency resolution to the dev packages, helping the solver to find a suitable solution.

Also, I add a conflict in lib_crypto to mirage-crypto that is no longer a dependency of the project.

Edited by pietro

Merge request reports