Overview Repositories Revisions Requests Users Attributes Meta

z3

Edit Package z3
No description set
  • Download package
  • osc -A https://api.opensuse.org checkout openSUSE:Backports:SLE-15-SP4/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
Latest Revision
Lubos Kocman's avatar Lubos Kocman (lkocman-factory) accepted request 937404 from Guillaume GARDET's avatar Guillaume GARDET (Guillaume_G) (revision 2) 
Must be built for all archs (dep of z3) + update
Comments 0
openSUSE Build Service is sponsored by
Places