Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE:Leap:15.2:Update
z3
_service
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File _service of Package z3
<services> <service mode="disabled" name="tar_scm"> <param name="url">git://github.com/Z3Prover/z3.git</param> <param name="scm">git</param> <param name="changesgenerate">enable</param> <param name="filename">z3</param> <param name="versionformat">@PARENT_TAG@+git.%cd</param> <param name="versionrewrite-pattern">z3(.*)</param> <param name="versionrewrite-replacement">\1</param> </service> <service mode="disabled" name="recompress"> <param name="file">*.tar</param> <param name="compression">xz</param> </service> <service mode="disabled" name="set_version"/> </services>
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
