openKylin frama-c package

riscv64 build of frama-c 20191204+calcium-ok1 in openkylin yangtze PROPOSED

created

Build status

[SUPERSEDED] Build for superseded Source Retry this build

  • Finished (took 0.0 seconds)

Build details

Source:
frama-c - 20191204+calcium-ok1
Archive:
Primary Archive for openKylin
Series:
Yangtze V1.0
Architecture:
riscv64
Pocket:
Proposed
Component:
main