Ubuntu
cbmc package

Builds for cbmc in Ubuntu Mantic

Mantic (23.10)
Builds

	riscv64 build of cbmc 5.84.0-1 in ubuntu mantic PROPOSED Build started on 2023-06-03 on riscv64-qemu-lgw01-027 and finished on 2023-06-03 taking 54 minutes — see the log
	ppc64el build of cbmc 5.84.0-1 in ubuntu mantic PROPOSED Build started on 2023-06-02 on bos02-ppc64el-004 and finished on 2023-06-03 taking 1 hour 10 minutes — see the log
	armhf build of cbmc 5.84.0-1 in ubuntu mantic PROPOSED Build started on 2023-06-02 on bos02-arm64-002 and finished on 2023-06-02 taking 7 minutes — see the log
	arm64 build of cbmc 5.84.0-1 in ubuntu mantic PROPOSED Build started on 2023-06-02 on bos01-arm64-003 and finished on 2023-06-02 taking 4 minutes — see the log
	amd64 build of cbmc 5.84.0-1 in ubuntu mantic PROPOSED Build started on 2023-06-02 on lcy02-amd64-105 and finished on 2023-06-02 taking 3 minutes — see the log
	s390x build of cbmc 5.12-5 in ubuntu groovy PROPOSED Build started on 2020-05-05 on bos02-s390x-007 and finished on 2020-05-05 taking 1 hour 20 minutes — see the log
	riscv64 build of cbmc 5.12-5 in ubuntu groovy PROPOSED Build started on 2020-05-22 on riscv64-qemu-lcy01-012 and finished on 2020-05-23 taking 22 hours — see the log
	ppc64el build of cbmc 5.12-5 in ubuntu groovy PROPOSED Build started on 2020-05-05 on bos02-ppc64el-007 and finished on 2020-05-05 taking 3 hours 20 minutes — see the log
	armhf build of cbmc 5.12-5 in ubuntu groovy PROPOSED Build started on 2020-05-05 on bos02-arm64-036 and finished on 2020-05-05 taking 5 hours 10 minutes — see the log
	arm64 build of cbmc 5.12-5 in ubuntu groovy PROPOSED Build started on 2020-05-05 on bos02-arm64-055 and finished on 2020-05-05 taking 5 hours — see the log
	amd64 build of cbmc 5.12-5 in ubuntu groovy PROPOSED Build started on 2020-05-04 on lgw01-amd64-015 and finished on 2020-05-05 taking 1 hour 20 minutes — see the log