Overview Repositories Revisions Requests Users Attributes Meta

z3

Edit Package z3
No description set
  • Sources inherited from project openSUSE:Backports:SLE-15-SP5
  • Download package
  • osc -A https://api.opensuse.org checkout openSUSE:Leap:15.5:Update/z3 && cd $_
  • Create Badge
Refresh
Refresh
Source Files
Filename Size Changed
z3-4.8.13.tar.gz 0005103999 4.87 MB
z3.changes 0000058245 56.9 KB
z3.spec 0000003148 3.07 KB
Revision 3 (latest revision is 6)
Yuchen Lin's avatar Yuchen Lin (maxlin_factory) committed (revision 3) 
branch from SP4 Backports
Comments 0
openSUSE Build Service is sponsored by
Places