Links for coqpackages-coq-hammer