David Allsopp

See https://github.com/ocaml/opam/issues/4519#issuecomment-868445795

(as a largely irrelevant aside, I'm not sure why you changed the title from the _correct_ `Pervasives.*` to the incorrect `Pervasive.*`?) I'm in two minds - on the one hand,...

> As a "workaround", the values can be registered under both names for compatibility. If there’s one thing we should learn from the various deprecations which we have already “completed”...

Could we even avoid the square brackets in the display?

I was thinking we could kinda avoid it, but that would be inconsistent with `opam pin add` (i.e. unless we could make `opam pin add git+https://github.com/dra27/package/subdir` automatically infer the sub-directory,...

Good point - perhaps: ``` [root-a_p.l2] synchronised (directory /a from file://${BASEDIR}/pinnes) ``` When un-pinning, perhaps there's no need for status at all - the fundamental change is that we've un-pinned...

This could be discussed for 5.x, but it’s too late in the day for 5.0. Would you be able to expand and reference what’s changed since #715 was closed?

@nobrowser - OCaml's development really doesn't work that way!

I've a branch and even a document about it from around when #9719 was opened. Hopefully at some point post-5.0 it might even become a PR (trying to expose this...

@RalfJung - thanks for the reproduction case, but we've all been rather busy with opam 2.1, which by 10 Mar was "frozen" for anything other than regressions as we were...