File _service of Package z3

<services>
  <service mode="disabled" name="tar_scm">
    <param name="url">git://github.com/Z3Prover/z3.git</param>
    <param name="scm">git</param>
    <param name="changesgenerate">enable</param>
    <param name="filename">z3</param>
    <param name="versionformat">@PARENT_TAG@+git.%cd</param>
    <param name="versionrewrite-pattern">z3(.*)</param>
    <param name="versionrewrite-replacement">\1</param>
  </service>
  <service mode="disabled" name="recompress">
    <param name="file">*.tar</param>
    <param name="compression">xz</param>
  </service>
  <service mode="disabled" name="set_version"/>
</services>