riscv64 build of creduce 2.10.0+20201029-3 in ubuntu jammy RELEASE
created
Build status
Dependency wait on riscv64-qemu-lcy01-017
- Missing build dependencies: frama-c-base
- Started
- Finished (took 14 minutes, 23.6 seconds)
- buildlog (9.4 KiB)
Build details
- Source:
- creduce - 2.10.0+20201029-3
- Series:
- Jammy
- Architecture:
- riscv64
- Pocket:
- Release
- Component:
- universe