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
-
Checkout 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 |
Comments 0