[opam-devel] opam reinstall behaviour surprisingly different than opam remove/install

[Malcolm Matalka]

I did 'opam reinstall package' where 'package' is pinned to a local
checkout.  I made a small change to it then wanted to reinstall to
verify it worked with other libraries.  The behaviour I expected was to
reinstall this package and all of those that depended on it.  Instead I
got the following output:

https://gist.github.com/anonymous/c1ca7d2c2ab2307f66b5

This worked as expected if I did what I assume is the semantic
equivalent and removed/installed.

/Malcolm