Bug#907042: opam 1.2.0 is deprecated (jessie)

[Mehdi Dogguy <mehdi@dogguy.org>]

On 2018-08-23 13:36, rjbou wrote:
> Package: opam
> Version: 1.2.0-1+deb8u1
> Severity: grave
> Justification: renders package unusable
> Tags: jessie
>
> Dear Maintainer,
>
> On jessie, opam 1.2.0 is packaged but it is officially deprecated since
> a year [1][2].
>
> It makes opam unusable for jessie users: already initialised ones can't
> install new compilers nor update packages, and with a fresh install 
> opam
> is almost unusable (e.g. [3]).
>
> The solution is to upgrade the opam package to 1.2.2.

Unfortunately, we won't be able to upgrade Opam to 1.2.2 in Debian 
stable.
I can ask for its removal, or document in this bugreport how to point 
their
installation to a frozen working mirror?

In the meantime, I'll work on a {sloppy-,}backport of 1.2.2.

--
Mehdi