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>