File _service of Package ocaml-coq

<services>
  <service name="tar_scm" mode="manual">
    <param name="filename">ocaml-coq</param>
    <param name="revision">40be8435e132aab2231a79091f011ebc3e64a753</param>
    <param name="scm">git</param>
    <param name="submodules">disable</param>
    <param name="url">https://github.com/rocq-prover/rocq.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>