openKylin z3 package

rv64g build of z3 4.8.7-ok1 in openkylin yangtze RELEASE

created

Build status

[FAILEDTOBUILD] Failed to build on openkylin-6-rv64g-builder2 Retry this build

  • Started
  • Finished (took 48 minutes, 29.7 seconds)
  • buildlog (57.8 KiB)

Build details

Source:
z3 - 4.8.7-ok1
Archive:
Primary Archive for openKylin
Series:
Yangtze V1.0
Architecture:
rv64g
Pocket:
Release
Component:
main