rv64g build : 4.13.3-1ok1 : z3 package : openKylin

openKylin z3 package

rv64g build of z3 4.13.3-1ok1 in openkylin huanghe PROPOSED

created on 2026-04-28

Build status

Needs building

Start 2026-05-07
Build score:4010 (What's this?)

Build details

Source:: z3 - 4.13.3-1ok1

Archive:: Primary Archive for openKylin

Series:: Huanghe V3.0

Architecture:: rv64g

Pocket:: Proposed

Component:: main