On Fri, 22 Jun 2012 19:57:03 +0200 Mehdi Dogguy <mehdi@dogguy.org> wrote: > So not critical for Wheezy which ships 3.12.1 no? :) Indeed. It's a pity that ocaml and debian releases are slightly misaligned :) IIRC ocaml 3.12.0 also missed squeeze by a minimal margin. OTOH camlp4 in 3.12.0 was rather buggy. So it goes. -- ygrek http://ygrek.org.ua/