Hi, upstream didn't release a new version with support for camlp5 8.* ; but they have a patch here: https://github.com/LPCIC/elpi/pull/110/commits/f58341831b56ccfe5f2f49158c600e4e36bcb9b5
so I should be able to fix the problem as soon as it actually occurs. Cheers, J.Puydt
