arm64 build of z3 4.8.7-ok2 in openkylin yangtze PROPOSED

created

Build status

[FULLYBUILT] Successfully built on docker-arm64-0.36-33603

Build details

Source:
z3 - 4.8.7-ok2
Archive:
Primary Archive for openKylin
Series:
Yangtze V1.0
Architecture:
arm64
Pocket:
Proposed
Component:
main