Links for coqpackages-autosubst-ocaml