arm64 build of cbmc 5.12-5 in ubuntu groovy RELEASE
created
Build status
Successfully built
on bos02-arm64-053
- Started
- Finished (took 5 hours, 10 minutes, 22.3 seconds)
- buildlog (102.2 KiB)
- cbmc_5.12-5_arm64.changes (995 bytes)
- cbmc_5.12-5_arm64.buildinfo (10.9 KiB)
Build details
Binary packages
Binary packages awaiting publication:
- cbmc-5.12-5
Built files
Files resulting from this build: