Dmitry Roshchin
8f89ebddf9
Lean 4 programming language and theorem prover. Its build requires cadical: https://build.opensuse.org/requests/1237556 OBS-URL: https://build.opensuse.org/request/show/1237557 OBS-URL: https://build.opensuse.org/package/show/science/lean4?expand=0&rev=1
20 lines
576 B
Plaintext
20 lines
576 B
Plaintext
<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>
|