#6375 seems to have broken the following case:
$ cat opam
opam-version: "2.0"
depends: "spdx_licenses"
pin-depends: ["spdx_licenses.dev" "git+https://github.com/kit-ty-kate/spdx_licenses.git"]
$ opam install --deps .
[...]
Nothing to do.
We would expect the pin-depends to be pinned and the new pinned package to be installed.
Encountered in dune's CI by @anmonteiro
#6375 seems to have broken the following case:
We would expect the pin-depends to be pinned and the new pinned package to be installed.
Encountered in dune's CI by @anmonteiro