File _service of Package cbmc

<services>
  <service mode="disabled" name="obs_scm">
    <param name="url">https://github.com/diffblue/cbmc/</param>
    <param name="scm">git</param>
    <param name="filename">cbmc</param>
    <param name="changesgenerate">enable</param>
    <param name="revision">cbmc-5.49.0</param>
    <param name="versionformat">@PARENT_TAG@</param>
    <param name="versionrewrite-pattern">cbmc-(.*)</param>
    <param name="versionrewrite-replacement">\1</param>
  </service>
  <service mode="disabled" name="set_version">
    <param name="basename">cbmc</param>
  </service>

  <service name="tar" mode="disabled"/>
  <service mode="disabled" name="recompress">
    <param name="file">*.tar</param>
    <param name="compression">xz</param>
  </service>
</services>