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:Rebuild/z3 && cd $_
  • Create Badge
Refresh
Refresh
Source Files
Filename Size Changed
z3-4.12.5.tar.gz 0005491803 5.24 MB
z3.changes 0000069209 67.6 KB
z3.spec 0000003194 3.12 KB
Latest Revision
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 1153113 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 39) 
Automatic submission by obs-autosubmit
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