amd64 build of z3 4.8.12-ok1 in openkylin nile PROPOSED

created

Build status

[FULLYBUILT] Successfully built on docker-amd64-191.52-15208

Build details

Source:
z3 - 4.8.12-ok1
Archive:
Primary Archive for openKylin
Series:
Nile V2.0
Architecture:
amd64
Pocket:
Proposed
Component:
main