arm64 build of cbmc 5.10-ok1 in openkylin nile RELEASE
created
Build status
Successfully built
on docker-arm64-0.36-33602
- Started
- Finished (took 1 hour, 20 minutes, 45.6 seconds)
- buildlog (65.9 KiB)
- cbmc_5.10-ok1_arm64.changes (1.0 KiB)
Build details
Binary packages
Binary packages produced by this build:
- cbmc-5.10-ok1
