Overview Repositories Revisions Requests Users Attributes Meta

z3

Edit Package z3

Z3 build specifically for use with pharos. Not particularly intended for use outside of pharos, may have some differences from a standard Z3 release.

  • Download package
  • osc -A https://api.opensuse.org checkout home:geewass:pharos/z3 && cd $_
  • Create Badge
Refresh
Refresh
Source Files
Filename Size Changed
remove-timestamp.patch 0000000617 617 Bytes
z3-4.12.1.tar.gz 0005469850 5.22 MB
z3.changes 0000098605 96.3 KB
z3.spec 0000004596 4.49 KB
Latest Revision
Garret Wassermann's avatar Garret Wassermann (geewass) committed (revision 55) 
missing changes
Comments 0
openSUSE Build Service is sponsored by
Places