Ubuntu
cbmc package

armel build of cbmc 4.2-6ubuntu1 in ubuntu raring PROPOSED

4.2-6ubuntu1
armel build

created on 2012-11-05

Build status

Successfully built on chort (armhf panda)

Started on 2012-11-05
Finished on 2012-11-05 (took 53 minutes, 21.6 seconds)
buildlog (20.4 KiB)
cbmc_4.2-6ubuntu1_armel.changes (806 bytes)

Build details

Source:: cbmc - 4.2-6ubuntu1

Archive:: Primary Archive for Ubuntu

Series:: Raring

Architecture:: armel

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

cbmc 4.2-6ubuntu1

Built files

Files resulting from this build:

cbmc_4.2-6ubuntu1_armel.deb (4.0 MiB)