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:Backports:SLE-15-SP4:SLECandidates/z3 && cd $_
  • Create Badge
Refresh
Refresh
Source Files
Filename Size Changed
z3-4.13.3.tar.gz 0005583533 5.32 MB
z3.changes 0000070763 69.1 KB
z3.spec 0000003417 3.34 KB
Latest Revision
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 1219484 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 42) 
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