Hi, I pushed otags-3.12.1.99-2 now to the otags git repository. I got 3 "Mail delivery failed" emails in response. Is this normal? I use now debhelper compat level 8. > but where does OCAMLABI come from? I use now It comes from /usr/share/ocaml/ocamlvars.mk, which you should then include in debian/rules. It's OCAML_ABI, right? Bye, Hendrik