Overview Repositories Revisions Requests Users Attributes Meta

z3

Edit Package z3
No description set
  • Developed at devel:tools:statica
  • Sources inherited from project openSUSE:Factory
  • 3 derived packages
  • Download package
  • osc -A https://api.opensuse.org checkout openSUSE:Factory:PowerPC/z3 && cd $_
  • Create Badge
Refresh
Refresh
Source Files
Filename Size Changed
z3-4.13.0.tar.gz 0005520232 5.26 MB
z3.changes 0000069709 68.1 KB
z3.spec 0000003297 3.22 KB
Latest Revision
Ana Guerrero's avatar Ana Guerrero (anag+factory) accepted request 1170694 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 40)
Comments 1
Lorenz Hüdepohl's avatar
Lorenz Hüdepohl (lorenz) -

It seems the python module only works when z3-devel is also installed, maybe add this as a requirement?

openSUSE Build Service is sponsored by
Places