z3

Edit Package z3
No description set
Refresh
Refresh
Source Files
Filename Size Changed
z3-4.11.2.tar.gz 0005428273 5.18 MB
z3.changes 0000067073 65.5 KB
z3.spec 0000003166 3.09 KB
Revision 5 (latest revision is 6)
Yuchen Lin's avatar Yuchen Lin (maxlin_factory) accepted request 1011950 from Yuchen Lin's avatar Yuchen Lin (maxlin_factory) (revision 5)
Automatically create request by update submitter.This is going to update package to openSUSE:Backports:SLE-15-SP5 from openSUSE:Factory.Please review this change and decline it if Leap do not need it.
Comments 0
openSUSE Build Service is sponsored by