riscv64 build : 1.5.118.6b56be4.121013-ok1 : boolector package : openKylin

openKylin boolector package

riscv64 build of boolector 1.5.118.6b56be4.121013-ok1 in openkylin yangtze PROPOSED

created on 2022-07-22

Build status

Build for superseded Source Retry this build

Finished on 2022-07-23 (took 0.0 seconds)

Build details

Source:: boolector - 1.5.118.6b56be4.121013-ok1

Archive:: Primary Archive for openKylin

Series:: Yangtze V1.0

Architecture:: riscv64

Pocket:: Proposed

Component:: main