Open
Description
As a user it's not obvious to me how spago manages it's internal registry index. If I need a newly published version of a library, even when explicitly declaring it's version, spago will refuse to install it until it also decides it should refresh it's index. This is a frustrating experience, and it would be nice to have some control over this process.