z3

Edit Package z3
No description set
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 2 (latest revision is 6)
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