Re: [MirageOS-devel] deprecating 4.02?

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

I have no objection to dropping 4.02 support, on the basis that I would like to 
support/promote flambda and ppx, which are significantly improved in 4.03.

Anil

> On 31 Aug 2016, at 16:31, Mindy <mindy@xxxxxxxxxxxxxxxxxxx> wrote:
> 
> Having just tripped over something available in 4.03 but not 4.02, I'm 
> wondering whether we have users who are still dependent on 4.02*.  If not, 
> I'd like to propose dropping support for it, so that we'd currently support 
> only 4.03 (and 4.04 when it's out).  I'm also partially motivated by the need 
> to shortly revisit the `opam` files for a number of Mirage libraries to 
> express their dependencies on a mirage-types >= 3.0 ; I'd prefer to do this 
> once rather than more-than-once.
> 
> Thanks,
> Mindy
> 
> * - Strictly speaking, 4.02.3
> 
> _______________________________________________
> MirageOS-devel mailing list
> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
> https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel


_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel