CCing Stephane Glondu -- would it be possible to request a backport of 1.2.2 to 
Debian Stable?  It's the last major distro distributing the older version of 
OPAM, and it's an increasingly difficult maintenance burden for us.

regards,
Anil

> On 7 Jul 2016, at 07:50, Sylvain Le Gall <sylvain+oc...@le-gall.net> wrote:
> 
> opam 1.2.0 is the version distributed with Debian Jessie (current stable)
> https://packages.debian.org/jessie/opam
> 
> Deprecating it, will prevent Debian Stable users to use the "easy to install" 
> package.
> 
> Le mer. 6 juil. 2016 à 10:29, Thomas Gazagnaire <tho...@gazagnaire.org> a 
> écrit :
> I think it is time to deprecate opam 1.2.0. What do you think?
> 
> See https://github.com/ocaml/opam-repository/pull/6888 for a recent issue: it 
> doesn’t understand the `pinned` variable. This could be fixed by adding a 
> rewriting layer between 1.2.2 and 1.2.0 and adding a redirection based on the 
> version number (we already do that for opam 1.1) but that’s a lot of efforts 
> for not much gains. So I’m in favour of simply not supporting 1.2.0 anymore.
> 
> If you are still using 1.2.0 please complain now :-)
> 
> Thomas
> _______________________________________________
> opam-devel mailing list
> opam-devel@lists.ocaml.org
> http://lists.ocaml.org/listinfo/opam-devel
> _______________________________________________
> opam-devel mailing list
> opam-devel@lists.ocaml.org
> http://lists.ocaml.org/listinfo/opam-devel

_______________________________________________
opam-devel mailing list
opam-devel@lists.ocaml.org
http://lists.ocaml.org/listinfo/opam-devel

Reply via email to