[update] If a compiler file is no more available upstream, then delete it locally as well (unless there is already one local installation of this compiler).
[update] If a compiler file is no more available upstream, then delete it locally as well (unless there is already one local installation of this compiler).

abate/opam,abate/opam