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

Malcolm Matalka mmatalka at gmail.com
Sun Aug 9 12:13:57 BST 2015


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


More information about the opam-devel mailing list