[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