Links for ocamlpackages-lambdapi