Vladimir Petko

ppc64el build of cbmc 5.89.0-2ubuntu1~ppa3 in ubuntu mantic RELEASE

plusone
ppc64el build of cbmc 5.89.0-2ubuntu1...

created on 2023-10-01

Build status

Successfully built on bos02-ppc64el-023

Started on 2023-10-01
Finished on 2023-10-01 (took 1 hour, 32 minutes, 14.9 seconds)
buildlog (158.5 KiB)
cbmc_5.89.0-2ubuntu1~ppa3_ppc64el.changes (1.5 KiB)
cbmc_5.89.0-2ubuntu1~ppa3_ppc64el.buildinfo (11.7 KiB)

Build details

Source:: cbmc - 5.89.0-2ubuntu1~ppa3

Archive:: plusone

Series:: Mantic

Architecture:: ppc64el

Pocket:: Release

Component:: main

Binary packages

Binary packages produced by this build:

cbmc-5.89.0-2ubuntu1~ppa3
jbmc-5.89.0-2ubuntu1~ppa3

Built files

Files resulting from this build:

cbmc_5.89.0-2ubuntu1~ppa3_ppc64el.deb (22.2 MiB)
jbmc_5.89.0-2ubuntu1~ppa3_ppc64el.deb (8.7 MiB)