armhf build of cbmc 5.12-5 in ubuntu groovy RELEASE
created
Build status
Successfully built
on bos02-arm64-074
- Started
- Finished (took 5 hours, 0 minutes, 5.7 seconds)
- buildlog (103.5 KiB)
- cbmc_5.12-5_armhf.changes (995 bytes)
- cbmc_5.12-5_armhf.buildinfo (10.8 KiB)
Build details
Binary packages
Binary packages awaiting publication:
- cbmc-5.12-5
Built files
Files resulting from this build: