$ opam pin add -n dns --dev -k git git+https://github.com/roburio/udns.git
# ...
$ opam pin add -n dns-client --dev -k git git+https://github.com/roburio/udns.git
# ...
$ opam install dns
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[dns.1.1.1] no changes from git+https://github.com/roburio/udns.git
[NOTE] Package dns is already installed (current version is 1.1.1).
$ opam install dns-client.1.1.1
[ERROR] Package dns-client has no version 1.1.1.
$ opam install dns-client
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[dns-client.~dev] no changes from git+https://github.com/roburio/udns.git
Sorry, no solution found: there seems to be a problem with your request.
No solution found, exiting
After this was introduced in https://github.com/roburio/udns/commit/8ad2bcca0c564374ab3225ada324252f21828617 I'm struggling to pin local development branches. Here's what I tried:
My local workaround was:
Is there a more ergonomic way to work with a development
version
?ping @hannesm