State of standard for openSUSE:Backports:SLE-15 / z3 - openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

State of standard for openSUSE:Backports:SLE-15 / z3

Go to download repository

x86_64

_buildenv (19.4 KB)
libz3-4_6-4.6.0+git.20180112-bp150.2.4.x86_64.rpm (6.55 MB)	Details
python3-z3-4.6.0+git.20180112-bp150.2.4.x86_64.rpm (142 KB)	Details
rpmlint.log (597 Bytes)
z3-4.6.0+git.20180112-bp150.2.4.src.rpm (2.81 MB)	Details
z3-4.6.0+git.20180112-bp150.2.4.x86_64.rpm (6.59 MB)	Details
z3-devel-4.6.0+git.20180112-bp150.2.4.x86_64.rpm (134 KB)	Details

aarch64

_buildenv (19.1 KB)
libz3-4_6-4.6.0+git.20180112-bp150.2.5.aarch64.rpm (6.08 MB)	Details
python3-z3-4.6.0+git.20180112-bp150.2.5.aarch64.rpm (142 KB)	Details
rpmlint.log (597 Bytes)
z3-4.6.0+git.20180112-bp150.2.5.aarch64.rpm (6.1 MB)	Details
z3-4.6.0+git.20180112-bp150.2.5.src.rpm (2.81 MB)	Details
z3-devel-4.6.0+git.20180112-bp150.2.5.aarch64.rpm (134 KB)	Details

ppc64le

_buildenv (19.2 KB)
libz3-4_6-4.6.0+git.20180112-bp150.2.4.ppc64le.rpm (6.64 MB)	Details
python3-z3-4.6.0+git.20180112-bp150.2.4.ppc64le.rpm (142 KB)	Details
rpmlint.log (597 Bytes)
z3-4.6.0+git.20180112-bp150.2.4.ppc64le.rpm (6.67 MB)	Details
z3-4.6.0+git.20180112-bp150.2.4.src.rpm (2.81 MB)	Details
z3-devel-4.6.0+git.20180112-bp150.2.4.ppc64le.rpm (134 KB)	Details

s390x

_buildenv (18.8 KB)
libz3-4_6-4.6.0+git.20180112-bp150.2.4.s390x.rpm (5.84 MB)	Details
python3-z3-4.6.0+git.20180112-bp150.2.4.s390x.rpm (142 KB)	Details
rpmlint.log (594 Bytes)
z3-4.6.0+git.20180112-bp150.2.4.s390x.rpm (5.87 MB)	Details
z3-4.6.0+git.20180112-bp150.2.4.src.rpm (2.81 MB)	Details
z3-devel-4.6.0+git.20180112-bp150.2.4.s390x.rpm (134 KB)	Details

openSUSE Build Service is sponsored by