File _service of Package ocaml-coq

<services>
  <service name="tar_scm" mode="manual">
    <param name="filename">ocaml-coq</param>
    <param name="revision">71a63db22744828fa448f61b8f764d9323ec5810</param>
    <param name="scm">git</param>
    <param name="submodules">disable</param>
    <param name="url">https://github.com/coq/coq.git</param>
    <param name="versionformat">@PARENT_TAG@</param>
    <param name="versionrewrite-pattern">[vV]?([^\+]+)(.*)</param>
    <param name="versionrewrite-replacement">\1</param>
  </service>
  <service name="recompress" mode="manual">
    <param name="file">*.tar</param>
    <param name="compression">xz</param>
  </service>
  <service name="set_version" mode="manual"/>
</services>