File _service of Package lean4

<services>

<service name="obs_scm" mode="manual">
  <param name="scm">git</param>
  <param name="url">https://github.com/leanprover/lean4</param>
  <param name="filename">lean4</param>
  <param name="revision">v4.15.0</param>
  <param name="versionformat">@PARENT_TAG@</param>
  <param name="versionrewrite-pattern">v(.*)</param>
  <param name="versionrewrite-replacement">\1</param>
</service>

<service name="tar" mode="manual" />
<service name="recompress" mode="manual">
  <param name="compression">zstd</param>
  <param name="file">*.tar</param>
</service>

</services>