Dmitry Roshchin
d99e336bfc
cadical is a build-time dependency of lean4. OBS-URL: https://build.opensuse.org/request/show/1237597 OBS-URL: https://build.opensuse.org/package/show/science/cadical?expand=0&rev=1
20 lines
595 B
Plaintext
20 lines
595 B
Plaintext
<services>
|
|
|
|
<service name="obs_scm" mode="manual">
|
|
<param name="scm">git</param>
|
|
<param name="url">https://github.com/arminbiere/cadical.git</param>
|
|
<param name="filename">cadical</param>
|
|
<param name="revision">rel-2.1.1</param>
|
|
<param name="versionformat">@PARENT_TAG@</param>
|
|
<param name="versionrewrite-pattern">rel-(.*)</param>
|
|
<param name="versionrewrite-replacement">\1</param>
|
|
</service>
|
|
|
|
<service name="tar" mode="buildtime" />
|
|
<service name="recompress" mode="buildtime">
|
|
<param name="compression">zstd</param>
|
|
<param name="file">*.tar</param>
|
|
</service>
|
|
|
|
</services>
|