Ubuntu
boolector package

ppc64el build of boolector 1.5.118.6b56be4.121013-1 in ubuntu trusty RELEASE

1.5.118.6b56be4.121013-1
ppc64el build

created on 2014-02-17

Build status

Successfully built on fisher03 (powerpc)

Started on 2014-02-18
Finished on 2014-02-18 (took 1 minute, 31.1 seconds)
buildlog (6.3 KiB)
boolector_1.5.118.6b56be4.121013-1_ppc64el.changes (859 bytes)

Build details

Source:: boolector - 1.5.118.6b56be4.121013-1

Archive:: Primary Archive for Ubuntu

Series:: Trusty

Architecture:: ppc64el

Pocket:: Release

Component:: universe

Binary packages

Binary packages produced by this build:

boolector 1.5.118.6b56be4.121013-1

Built files

Files resulting from this build:

boolector_1.5.118.6b56be4.121013-1_ppc64el.deb (266.2 KiB)