Hi, I mentioned this a while ago. The update-libs will be removed from dune-common, as there is hardly any benefit left since the modularization. Please make sure you have updated you projects accordingly. If nobody objects, I'll remove update-libs within the next days. Christian