Just tried to track down the details, it looks like I was thinking of an Opam problem specifically, and the last update was about 3 weeks ago, so likely the iss

Just tried to track down the details, it looks like I was thinking of an Opam problem specifically, and the last update was about 3 weeks ago, so likely the issue is already resolved.