On Tue, 21 Oct 2014 19:04:05 +0100 Anil Madhavapeddy <a...@recoil.org> wrote:
> I think this needs a corresponding lambda-term 1.7 update (that now > makes camlp4 optional -- not sure if necessary or not). Well, it works for me with camlp4 enabled. What do you think about just removing lambda-term, zed and utop and importing opam-1.2rc3 ? Christopher -- http://gmerlin.de OpenPGP: http://gmerlin.de/christopher.pub F190 D013 8F01 AA53 E080 3F3C F17F B0A1 D44E 4FEE
signature.asc
Description: PGP signature
