Hi, opam-0install-cudf maintainer here,
Just as a side note on: * Upstream Contact: Thomas Leonard * URL: https://github.com/ocaml-opam/opam-0install-solver The URL, while still correct until 0.4.3, has recently been split off into its own repository a few days ago. See: https://github.com/ocaml-opam/opam-0install-solver/issues/54 The upstream contact should also be me anyway: Kate Deplaix, as Thomas only maintains the opam-0install part of the old repository and I'm the main maintainer of the new repository: https://github.com/ocaml-opam/opam-0install-cudf If there is anything I can do to help move this new package forward (as it is required to update the opam package), please let me know. Cheers, Kate