On 05/18/2016 07:44 PM, Kakadu wrote: > I'm not sure but I think that eliom's opam recipe is too restrictive. > The newest recipe doesn't mention camlp4 at all. > > The shortest workaround should be > > opam pin add eliom --dev-repo $ opam install eliom.dev =-=- Synchronising pinned packages =-=-=-=-=-=-=-=-=-=-=-=-=- [eliom] https://github.com/ocsigen/eliom.git already up-to-date Your request can't be satisfied: - eliom is not available because the package is pinned to https://github.com/ocsigen/eliom.git, version dev. I tried `eliom.dev` as well to no avail. Am I missing something obvious? Thanks, -- Bahman Movaqar http://BahmanM.com - https://twitter.com/bahman__m https://github.com/bahmanm - https://gist.github.com/bahmanm PGP Key ID: 0x6AB5BD68 (keyserver2.pgp.com)