Vladimir Petko

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

plusone
armhf build of cbmc 5.89.0-2ubuntu1~ppa3

created on 2023-10-01

Build status

Successfully built on bos02-arm64-078

Started on 2023-10-01
Finished on 2023-10-02 (took 3 hours, 42 minutes, 24.5 seconds)
buildlog (161.8 KiB)
cbmc_5.89.0-2ubuntu1~ppa3_armhf.changes (1.5 KiB)
cbmc_5.89.0-2ubuntu1~ppa3_armhf.buildinfo (11.6 KiB)

Build details

Source:: cbmc - 5.89.0-2ubuntu1~ppa3

Archive:: plusone

Series:: Mantic

Architecture:: armhf

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_armhf.deb (14.9 MiB)
jbmc_5.89.0-2ubuntu1~ppa3_armhf.deb (5.5 MiB)