Links for ocamlpackages-dedukti